Type:	Map[string,string]
	mapping from string to string
Name:	platform
	platform-specific configuration

Field is read-write

• Map[string,string] get_platform (session session_id, VM self)

  Get the platform field of the given VM.

• void set_platform (session session_id, VM self, Map[string,string] value)

  Set the platform field of the given VM.

• void add_to_platform (session session_id, VM self, string key, string value)

  Add the given key-value pair to the platform field of the given VM.

• void remove_from_platform (session session_id, VM self, string key)

  Remove the given key and its corresponding value from the platform field of the given VM. If the key is not in that Map, then do nothing.