ARM11 support in RTEMS?

Ralf Corsepius ralf.corsepius at
Thu Dec 20 17:18:16 UTC 2012

On 12/20/2012 05:26 PM, Cudmore, Alan P. (GSFC-5820) wrote:
> I have been looking at what it would take to create a BSP for the Raspberry Pi board. The Pi uses an ARM1176jzfs ( ARMv6 ).
> The BSP list on this page:
> lists arm1136jfs and arm1136js BSPs, but I did not see those in the RTEMS git repository.

Sorry, but I can't comment on this ;)

 From what I see from grepping through the source-tree, there are 
simulator BSP aiming at arm1136*'s:

c/src/lib/libbsp/arm/gdbarmsim/make/custom/arm1136jfs.cfg:#  Config file 
for GDB ARM Simulator as arm1136jf-s (FPU)
c/src/lib/libbsp/arm/gdbarmsim/make/custom/arm1136jfs.cfg:CPU_CFLAGS = 
c/src/lib/libbsp/arm/gdbarmsim/make/custom/arm1136js.cfg:#  Config file 
for GDB ARM Simulator as arm1136j-s (no FPU)
c/src/lib/libbsp/arm/gdbarmsim/make/custom/arm1136js.cfg:CPU_CFLAGS = 

but no real BSPs.

In cpukit, ARMv6 seems to be aliased to ARMv4.


More information about the users mailing list