Raspberry Pi Stack Exchange is a question and answer site for users and developers of hardware and software for Raspberry Pi. It only takes a minute to sign up.
Sign up to join this community
Looking around for a RedHat (and the like) distro to run on the RaspberryPi (512MB RAM version), I came across RedSleeve, which has done the job of porting RH to the RPI architecture. They also provide the install guide here.
Has anyone got some experience with this OS? Any packages you've tried to installed that weren't available?
I'm also a bit concerned that there hasn't been any newer post on their site since Feb 2012...
You can use Fedora Remix (Pidora); you can get the SD card image off the Raspberry Pi website's downloads page. There is also a wiki with some instructions here.
There is quite a lot of stuff on the relationship between Red Hat and Fedora:
These links have a little about it:
Fedora is also updated more often (Red Hat only really uses stable packages), and includes EPEL - it is also more community driven, and is free.
I have used Fedora often, and if anything it is easier to use than RHEL. The version of the Pi works very well - I'm using it (my second attempt) at building a Pi based robot (box on wheels).
UPDATE
As of early August 2015
The current Pidora version is based on Fedora 20, which is EOL. See here and here for potential updates.
RedSleeve Linux is alive and well - the wiki gets updated fairly regularly with new installation guides and improvements to the existing ones.
The EL6 packages applicable to ARM are all there.
EPEL packages (the ones in Fedora but not in EL) are available in a separate repository.
RedSleeve EL7 is being worked on and will be made available when ready.
