Alexander Boettcher alexander.boettcher at ...1...
Wed May 10 11:06:34 CEST 2017


On 09.05.2017 09:30, Baconicsynergy wrote:
> Hello! I've successfully compiled on both seL4 and NOVA and set a static ip in the <libc> node as described in an earlier mailing list post.
> The lighttpd server runs perfectly under qemu! But when I burn the iso to a usb and attempt to boot from virtualbox and a variety of different hardware devices, it gets stuck at the original "Genode on sel4".....boot_ and I'm just left with a blinking cursor after boot. Am I missing something?

if I understand you correctly, that you try to run the iso in
Virtualbox, check that you have the I/O APIC enabled and the serial
device enabled to "see" actual something.

Hope it helps,

Alexander Boettcher
Genode Labs -

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list