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
