Run scripts not working on Raspberry Pi

[Aditya Kousik]

Hello,

I built a sample run/printf and run/nested_init to test serial output on
the Raspberry Pi. Funnily enough, I got a console output when I built it a
week back. The same compilation doesn't work now. I don't see any output at
all. What could have gone wrong? (I copied the boot folder of the default
firmware to my SD card) I pasted genode.img after running the objcopy
command as well. Any input would be helpful.

Thanks
Aditya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150505/bf38f29e/attachment.html>