Hi,

after getting a Raspberry Pi i have build a IPFire kernel for the RPi.
Here you can get a unsupported test-image: 
http://people.ipfire.org/~arne_f/testing/RPi/

put it with

zcat _imagename_.gz > /dev/_your_cardreader_dev_

to a >=2GB SD-Card and boot it on the RPi.

Here you can view a small video from the installation and some tests 
on my RPi.
http://www.youtube.com/watch?v=XmBxq6v9IZc

Arne