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).