Does anyone know if Genode can be booted through U-Boot on a Raspberry Pi (model B+)?

Cheers,
--