On 6/1/20 9:42 am, Alan Cudmore wrote: > I finally found the time to try the latest RTEMS head on my collection of > Raspberry Pi models. > The last time I tried to run RTEMS on a Pi, I had trouble with the current > version of the Raspberry Pi Firmware, so I had to go back to a specific tag on > the Rasberry Pi firmware repository to get RTEMS to work. This time, the head > of > the firmware repository seems to work (at least on the single core models) > > To keep thingsĀ simple, I'm just going address the single core models here, I > can > follow up after I finish testing the Raspberry Pi 2. > > Test Setup: > I used the git.rtems.org <http://git.rtems.org> rtems master from Jan 03 2020. > I used the Raspberry Pi firmware from the same date. > The firmware can be found here: > https://github.com/raspberrypi/firmware/tree/master/boot > To boot an RTEMS image, you can copy all files from the above "boot" directory > on a DOS formatted SD/MicroSD card along with the RTEMS image (more about that > in a minute). > On the SD card, I deleted the "dtb" files, as well as the overlay directory. I > dont think these are necessary to boot an RTEMS image.
Interesting. Do you think support for this could be added to the RTEMS boot image tool? https://docs.rtems.org/branches/master/user/tools/boot-image.html It would be nice if we can automate the creation of an SD card image and abstract the low level host things needed to manage an SD card. I wonder if an option could be added to download and cache the boot files then that are copied to the SD card with the kernel image and a suitable config. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel