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.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main