Genode on i.MX6

[Alexander Boettcher]

Hi Hinnerk,

On 24.06.2017 01:20, Hinnerk van Bruinehsen wrote:
> I'm using a fork of seL4's elfloader-tool that I've hacked together to
> create an image that acutally boots (at least it gets into the genode
> userland image where it is failing).
> To be clear: I need to add calls to kernel_debugger_outstring as I get
> a data fault before the logging infrastructure works (I guess due to
> exception handling not being initialized before the fail occurs).
> 
> I'm using an am335x based board so I can't test if this works for other
> hardware, but if anyone is interested you can find my elfloader fork at
> https://github.com/N8Fear/elfloader-tool
> 
> The bootable image is then created by running the script from the
> elfloader dir
> TOOLPREFIX=arm-none-eabi- PLAT=am335x ./gen_boot_image.sh
> <path to genode>/build/wega_am335x/var/run/log/sel4
> <path to genode>/build/wega_am335x/var/run/log/image.elf
> /tmp/out.elf
> 
> PLAT and TOOLPREFIX need to be changed accordingly and when building the
> prelinked elfloader binary PLAT and ARMV needs to be adjusted as well
> (take a look at the Makefile).

just wanted to say, thanks for your seL4 elfloader tool adaptations to
make it usable standalone (so - no need to dissect Camkes for it, like
getting cpio lib and common.mk mainly).

Thanks to your work I could get the tool integrated into the run tool
infrastructure of Genode in within one day. And the best, it boots and I
get the serial life sign of Genode/seL4 on ARM.

Great !

-- 
Alexander Boettcher
Genode Labs

http://www.genode-labs.com - http://www.genode.org

Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth