Sadly, I did. I was following this procedure http://genode.org/documentation/release-notes/13.11#Raspberry_Pi

and I set kernel=genode.img and kernel_address=0x00800000 in the config.txt file as well.

I'm surprised that there's no output now, all of a sudden.

On May 5, 2015 00:20, "Mohammad Hamad" <mhh.it1986@...9...> wrote:

Hi

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

---

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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main