Run scripts not working on Raspberry Pi

Mohammad Hamad mhh.it1986 at ...9...
Tue May 5 09:19:52 CEST 2015


did you edit the config.txt file ?!

since you copied the boot folder of the default firmware , i think you need
ti update this file .

best ,

2015-05-04 23:05 GMT-08:00 Aditya Kousik <adit267.kousik at ...9...>:

> 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
> ------------------------------------------------------------------------------
> One dashboard for servers and applications across Physical-Virtual-Cloud
> Widest out-of-the-box monitoring support with 50+ applications
> Performance metrics, stats and reports that give you Actionable Insights
> Deep dive visibility with transaction tracing using APM Insight.
> _______________________________________________
> genode-main mailing list
> genode-main at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list