Raspberry Pi U-Boot?

[Martin Stein]

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 at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150219/e9f57bb8/attachment.html>