ARM11 support in RTEMS?

[Ralf Corsepius]

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:
> http://www.rtems.org/wiki/index.php/ARM-EABI
> 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:RTEMS_CPU_MODEL=arm1136
c/src/lib/libbsp/arm/gdbarmsim/make/custom/arm1136jfs.cfg:CPU_CFLAGS = 
-mcpu=arm1136jf-s
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:RTEMS_CPU_MODEL=arm1136
c/src/lib/libbsp/arm/gdbarmsim/make/custom/arm1136js.cfg:CPU_CFLAGS = 
-mcpu=arm1136j-s
c/src/lib/libbsp/arm/gdbarmsim/make/custom/armcortexa9.cfg:RTEMS_CPU_MODEL=arm1136

but no real BSPs.

In cpukit, ARMv6 seems to be aliased to ARMv4.

Ralf