Building for Raspberry Pi Ubuntu

[buzz heavyyear]

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 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20131021/34842891/attachment.html>