boot loader did not provide information about modules

[Paul Dufresne]

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).
-------------- next part --------------
A non-text attachment was scrubbed...
Name: sel4.cap
Type: application/vnd.tcpdump.pcap
Size: 1599 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20160920/c9886486/attachment.cap>