Hi, Does anyone know if Genode can be booted through U-Boot on a Raspberry Pi (model B+)? Cheers, -- Jeroen "Slim" van Gelderen -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20150217/dd5b5baf/attachment.html>