Raspberry Pi U-Boot?

[Tim Newsham]

I'm not sure the proper answer.  On the version of uboot I have
for my rpi B (from http://people.freebsd.org/~gonzo/arm/rpi/) there
is no ELF support, so I think you would have to manually load up
the sections yourself.  I am using the "dhcp" command and first
I have to type "usb start" to recognize the ethernet hw.
I built "run/printf" and converted its text segment with objcopy
and when I booted it with "dhcp 800000; go 800000", it ran, but it failed to
load ld.lib.so (which Iimagine is in one of the other elf sections I
didnt load?).
With more effort I could probably split the file into pieces and tftp each
one into place and execute it...  (might be easier to just get a newer
uboot with elf support...)


On Tue, Feb 17, 2015 at 1:00 PM, Jeroen "Slim" van Gelderen
<askslim at ...9...> 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
>



-- 
Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com