Raspberry Pi 2 boot

[Jeff Mayes]

Hi,
I've built the Raspberry Pi 2 bsp and samples.  My SD card has Raspian for the moment, and I don't see a kernel.img file like the previous Raspberry had.  So, how do I get "hello world" to run off the SD card?

Thanks
Jeff


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/devel/attachments/20150318/1206507b/attachment.html>