My new image builder for the xzpad700 (as soon as I've time to sync it) will
prepare images for all the hardware that the fedora currently supports
(including the new A20 socs). as a matter of fact I\m using their bootloader
and their kernels until I get round to building my own kernel.
just been to kernel.org to see if the raspberry pi is supported. I see
no support for the device in any kernel previous to 3.10.1 which
includes support for the BCM2835. I find this odd. I would have thought
that patches would have been submitted and merged in the the kernel
tree. We