boot loader did not provide information about modules

This is from my 'new' Core 2 Duo, booting Genode 16.08 sel4.iso on an usb key.

I got it with a null-modem. I am attaching the full capture log file.

I had the same symptoms on most computers I have tried...
hanging on boot line doing nothing.

might explains it a bit... but frankly I don't understand why (it
works in VirtualBox).

Attachment: sel4.cap
Description: application/vnd.tcpdump.pcap

genode-main mailing list

Reply via email to