On 20/1/20 6:42 am, Alan Cudmore wrote: > I tried the latest RTEMS master on my collection of single core RPis and they > all worked. I used the kernel_address=0x200000 option in the config.txt file. > The BSP did not identify the RPi Model B (26 pin GPIO header) or the RPi Model > A+ (1.1) since they use the older device ID register format. It's probably a > simple patch to identify these older models. Is it worth it, given that they > are > not sold anymore?
Yes it is worth it. They may not be sold but someone may want to run RTEMS on it if they have upgraded to a newer Pi. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
