Building for Raspberry Pi Ubuntu

Norman Feske norman.feske at ...1...
Mon Oct 21 13:07:08 CEST 2013

Hi Nick,

> Actually, it should be 'welcome back to the mailing list' - I originally
> thought that genode was too big for my needs but have since gone full
> circle & I still intend to get an openrisc platform out, running genode
> (Hi Martin, I'm still here!). However an Arm platform running genode is
> more pressing and the raspberry pi is a cheap way to go.

now I remember. Thanks for bringing me on the right track and welcome
back. :-)

> Thanks for all of your comments, which I dutifully carried out. I ran
> 'make run/printf' and got the following error:
> .....
>   Library platform
>   Library cxx
>   Library syscall
>   Library base-common
>   Program core/rpi/core
>     ASSEMBLE boot_modules.o
>     LINK     core
> make[1]: Leaving directory `/home/nick/genode/build_rpi'
> spawn qemu-system-arm -nographic -m 64 -kernel var/run/printf/image.elf
> qemu: fatal: Trying to execute code outside RAM or ROM at 0xffff0004
> R00=00000000 R01=004d5020 R02=20201018 R03=20201000
> R04=00000000 R05=00000000 R06=00000000 R07=00000000
> R08=00000000 R09=00000000 R10=00000000 R11=00000000
> R12=00000001 R13=00000000 R14=0040043c R15=ffff0004
> PSR=600001db -ZC- A und32
> Error: Spawned process died unexpectedly
> make: *** [run/printf] Error 253
> Any ideas?

The image created by the build system is compiled for the Raspberry Pi
hardware but Qemu is emulating a different platform. So the last step of
the run script ('run_genode_until ...') does not work. We should
possibly disable that step when building for the Raspberry Pi platform.

However, the image was built successfully. You should be able to run it
('build_rpi/var/run/printf/image.elf') on the real Raspberry Pi hardware
by using u-boot to load the ELF file, or by converting the ELF file to a
raw binary (using genode-arm-objcopy) to be loaded as kernel directly
from SD-card.

Note that the text output will appear on the UART, not on the screen.
The steps I took to connect the Raspberry Pi to a terminal program are
described here:

I recommend to first test the serial connection by booting Linux, and
then going forward with Genode's 'run/printf' example.


Dr.-Ing. Norman Feske
Genode Labs ·

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

More information about the users mailing list