Hey Shane,

unfortunately it's not our fault that the Raspberry Pi Foundation and
Broadcom (who is the vendor of the SoC working on the RPi) are not very
helpful with supporting free software.

There is a proprietary firmware blob that had some changes for the new
versions of the RPi, but there is no kernel patchset for our version of
the Linux kernel (which is 3.2 - very recent and commonly used by a lot
of distributions), that works with the new firmware blob.

As the firmware is completely closed, we cannot do much about it,
because we cannot see what has been changed inside. We could probably
guess, and try to backport kernel patches from the latest releases (if
there are any), but for that, we don't have enough time.

So at this point, IPFire (or stable versions of the Linux kernel) do not
support the new Raspberry Pi versions.
If you want to help, please dig into the topic and if there are any
questions we could help with, or if you found someone who tried to do
the same for their version of the Linux kernel, feel free to contact
me/us on this mailing list.

Best,
-Michael

On Mon, 2013-07-22 at 21:50 -0500, Shane O'Neill wrote:
> Tried doing the setup outlined in
> 
> http://wiki.ipfire.org/en/hardware/arm/rpi
> 
> 
> including copying over the three boot files.
> 
> 
> When I start the pi with the expanded sd card, I don't get a boot at
> all.
> 
> 
> Any ideas?
> 
> 
> Thanks in advance,
> 
> Shane
> 
> _______________________________________________
> SIG-ARM mailing list
> SIG-ARM(a)lists.ipfire.org
> http://lists.ipfire.org/mailman/listinfo/sig-arm