Raspberry Pi test report

[Chris Johns]

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