ARM11 support in RTEMS?

[Cudmore, Alan P. (GSFC-5820)]

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. 

I think I am looking at the correct branch :
git branch -r
  origin/4.10
  origin/4.8
  origin/4.9
  origin/HEAD -> origin/master
  origin/master

Are these BSPs available? 

Did they require support for ARMv6 in cpukit/score/cpu/arm ? 
I see that there is currently support for ARMv4 and ARMv7m


Thanks,
Alan