After getting a Raspberry Pi i have build a IPFire kernel for the RPi.
Here you can download a [unsupported test-image] for Raspberry Pi.
put it with “zcat [imagename.gz] > /dev/[your_cardreader_dev]” to a >=2GB SD-Card and boot it on the RPi.
A small video from the installation and some tests on my RPi.
EDIT: The image has been moved.