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.