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
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel