L4linux on virtual box

Adam Lackorzynski adam at os.inf.tu-dresden.de
Thu Dec 13 16:21:03 CET 2012

On Fri Dec 07, 2012 at 17:15:10 +0800, FU_LONG wrote:
>    I have built L4linux(l4linux-mag-x86.iso) and made it run on qemu successfully.
>    But when I try to run it on virtual box, it stops, please see the following picture:
> I have put the iso file in Attachment, could you please have a try and give me some advise?

The graphics card of Vbox uses ports which are not listed in x86-legacy
devs file. So add 0x1ce - 0x1d0 in the VGA section of x86-legacy.devs.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list