Run scripts not working on Raspberry Pi

Aditya Kousik adit267.kousik at ...9...
Tue May 5 09:05:54 CEST 2015


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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list