some error of sel4.iso on VirtualBox (1495Mo)

[Paul Dufresne]

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