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