Hi Norman,

Thanks for your reply.

>
> welcome to the mailing list!
>

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.

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?

Best regards

Nick