Attempting to run L4Linux/Fiasco.OC combination in VirtualBox

[Thotheolh Tay]

Hi,

I attempted to run a 32 bit built L4Linux/Fiasco.OC built from 15.05 Genode
Framework onto a VirtualBox instance with the following VirtualBox
configuration attached in the mail.

I only saw a few lines of Boot message quickly passing by (too quick to
actually read it) and then a blank screen.

Do I need to do anymore thing to make the ISO L4Linux run on the VirtualBox
?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150706/eb8978df/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Genode-Live-CD_15.05_L4Linux_Fiasco.OC_32bit.ovf
Type: application/x-virtualbox-ovf
Size: 11703 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20150706/eb8978df/attachment.bin>