proc run_power_off { } {
	catch { exec sudo xl destroy "genode-hvm" }
}