Guide:

• Format a SD card with at least 4 GB space in FAT32.

• Extract the content of the zip file to the SD card.
  
  http://www.saltbaek.dk/bjarne/raspberrypi/redsleeve_NOOBS/Redsleeve_NOOBS.zip
  
  
  

• Boot

The Redsleeve NOOBS configuration is based on this RootFS:

http://cdn.opensxce.org/redsleeve/el6/rootfs/raspi-v2-redsleeve-cli-0.6.img.xz

I have tested the configuration on a Raspberry Pi A+