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 coremake[1]: Leaving directory `/home/nick/genode/build_rpi'spawn qemu-system-arm -nographic -m 64 -kernel var/run/printf/image.elfqemu: fatal: Trying to execute code outside RAM or ROM at 0xffff0004 R00=00000000 R01=004d5020 R02=20201018 R03=20201000R04=00000000 R05=00000000 R06=00000000 R07=00000000R08=00000000 R09=00000000 R10=00000000 R11=00000000R12=00000001 R13=00000000 R14=0040043c R15=ffff0004PSR=600001db -ZC- A und32Error: Spawned process died unexpectedlymake: *** [run/printf] Error 253 Any ideas? Best regardsNick