Solved. Now booting lighttpd on an N3150 board. > DD'ing the lighttpd .iso image to a USB drive is odd too. On both machines I get dumped into the grub shell.
For anyone else with the same problem: https://github.com/genodelabs/genode/blob/master/doc/release_notes-14-08.txt #L1105 BTW A serial connection is IMO absolutely critical for real hardware work. Jerry. ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main