Oh well, might be usefull to say that VirtualBox is running with VT-X/AMD-V inactive, most probably because the real processor does not support it: flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc pebs bts nopl eagerfpu pni dtes64 monitor ds_cpl tm2 cid cx16 xtpr lahf_lm
Don't know if VirtualBox allows you to disable it when you have it... to test. Also this looks special to me in session info: 00:00:06.530930 VMMDev: Guest Log: BIOS: Boot : bseqnr=1, bootseq=0003 00:00:06.549851 VMMDev: Guest Log: BIOS: Booting from CD-ROM... 00:00:06.739933 VMMDev: Guest Log: BIOS: int13_cdrom: unsupported AH=08 00:00:06.833242 VMMDev: Guest Log: int13_harddisk_ext: function 41, unmapped device for ELDL=80 00:00:06.833865 VMMDev: Guest Log: int13_harddisk: function 08, unmapped device for ELDL=80 ------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
