Hi Jeroen, I can't give you an advice regarding Uboot on RPI. However, I've often booted RPI via JTAG using the Flyswatter2 debugger and OpenOCD. If you're interested in this, I can send you further information.
Cheers, Martin
On 18.02.2015 00:00, Jeroen "Slim" van Gelderen wrote:
Hi,
Does anyone know if Genode can be booted through U-Boot on a Raspberry Pi (model B+)?
Cheers,
Jeroen "Slim" van Gelderen
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server from Actuate! Instantly Supercharge Your Business Reports and Dashboards with Interactivity, Sharing, Native Excel Exports, App Integration & more Get technology previously reserved for billion-dollar corporations, FREE http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.cl...
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main