I think the other (well meaning) responses haven't yet addressed your original
question. For the record, for ARM development boards, we (Fedora ARM) ship prebuilt disk
images suitable and intended for dd'ing onto a storage card for convenient
installation. Other targets support conventional installation, such as on Calxeda
HighBank (known as EnergyCore), and the emulation target comes as a rootfs and kernel. If
you need a specific kernel binary for one of these images, you can extract it as Brendan
mentioned, or you can use arm.koji.fedoraproject.org
to download any package, or the the
regular mirrors. If you have questions, please join arm(a)list.fedoraproject.org or
#fedora-arm on Freenode IRC.
 Someone will feel the need to point out that you could run Anaconda on a Trimslice, or
on a PandaBoard unless I add this footnote to say I am deliberately ignoring that uncommon
use case in the general Fedora user base of ARM today.
Sent from my iPad
On Jan 4, 2013, at 10:01, Lukas Zapletal <lzap+pub(a)redhat.com> wrote:
Pardon my ignorance, but where can I find the kernel images? These
just root systems, right? I'd love to try Kirkwood on NSA-310.
On Mon, Dec 03, 2012 at 12:57:19PM -0500, Paul Whalen wrote:
> Please join us today (December 3rd, 2012) in #fedora-arm on Freenode for another
Fedora ARM VFAD.
> There are a number of pre-created F18 ARM Beta TC1 images available for testing,
> Trimslice, vexpress (QEMU) and Kirkwood.
> Images can be downloaded from:
> Please help us track the results by adding your findings to:
> All help is appreciated and we look forward to your participation.
> devel mailing list
Lukas "lzap" Zapletal
devel mailing list