| Type: | string |
| UTF-8 encoded character data | |
| Name: | PV_kernel |
| path to the kernel |
Accessors
-
string
get_PV_kernel
(session session_id, VM self)
Get the PV/kernel field of the given VM.
-
void
set_PV_kernel
(session session_id, VM self, string value)
Set the PV/kernel field of the given VM.