genode/tool/run/power_off/xen

proc run_power_off { } {
	catch { exec sudo xl destroy "genode-hvm" }
}
run: add Xen support When building Genode on a Linux system running in a Xen Dom0, the 'xen' run target can run a Genode scenario in a Xen DomU. Usage: in build/x86_*/etc/build.conf, define: RUN_OPT = --include boot_dir/$(KERNEL) --include image/iso --include power_on/xen --include log/xen --include power_off/xen The Xen DomU runs in HVM mode and loads Genode from an ISO image. Serial log output is printed to the console and graphical output is shown in an SDL window. The Xen DomU ist managed using the 'xl' command line tool and it is possible to add configuration options in the 'xen_args' variable in a run script. Common options are: - disabling the graphical output: append xen_args { sdl="0" } - configuring a network device: append xen_args { vif=\["model=e1000,mac=02:00:00:00:01:01,bridge=xenbr0"\] } - configuring USB input devices: append xen_args { usbdevice=\["mouse","keyboard"\] } Note: the 'xl' tool requires super-user permissions and interactive password input can be troublesome in combination with 'expect' and is not practical for automatic tests. For this reason, the current implementation assumes that no password input is needed when running 'sudo xl', which can be achieved by creating a file '/etc/sudoers.d/xl' with the content 'user ALL=(root) NOPASSWD: /usr/sbin/xl' (where 'user' is the Linux user name). Fixes #2504 2017-08-07 13:24:40 +00:00			`proc run_power_off { } {`
			`catch { exec sudo xl destroy "genode-hvm" }`
			`}`