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.clktrk
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main