Not buying the eMMC module turned out to be a mistake. You can’t buy them from regular suppliers, and I’m not even sure they come in standard sizes. So I’m using a micro SD card instead.
You can download a Fedora 19 image from the ODROID forums here, but I preferred to start with the official Fedora 19 ARM image:
$ xzcat Fedora-XFCE-armhfp-19-1-sda.raw.xz > /dev/mmcblk0
In the wonderful world of ARM there’s of course no chance that this would just work (and it doesn’t). Instead I copied the /boot files from the forum image:
$ virt-copy-out -a fedora19_armhf_odroidxu_20130927.img /boot .
To make the card bootable, it requires that the first partition is VFAT and contains the /boot files extracted from the forum image. This is pretty straightforward with guestfish:
$ guestfish -a /dev/mmcblk0 ><fs> run ><fs> list-filesystems /dev/sda1: ext3 /dev/sda2: swap /dev/sda3: ext4 ><fs> mkfs vfat /dev/sda1 ><fs> mount /dev/sda1 / ><fs> copy-in /tmp/boot / ><fs> ll / total 12868 drwxr-xr-x 3 0 0 16384 Oct 19 13:43 . drwxr-xr-x 20 0 0 4096 Oct 19 13:42 .. -rwxr-xr-x 1 0 0 169 Oct 19 12:14 .vmlinuz-3.10.10-200.fc19.armv7hl.hmac -rwxr-xr-x 1 0 0 174 Oct 19 12:14 .vmlinuz-3.10.10-200.fc19.armv7hl.lpae.hmac -rwxr-xr-x 1 0 0 88811 Oct 19 12:15 config-3.4.5 -rwxr-xr-x 1 0 0 6518534 Oct 19 12:14 initramfs-3.4.5 -rwxr-xr-x 1 0 0 6518598 Oct 19 12:14 uInitrd-3.4.5 drwxr-xr-x 2 0 0 8192 Oct 19 12:41 uboot ><fs> umount-all ><fs> exit
As a general tip, the large DisplayPort is apparently useless, or at least, I couldn’t get it to do anything. (Edit: Apparently you have to edit boot.ini in a manner reminiscent of modelines from x86 circa 1995. Go ARM!)
So you have to have a micro HDMI (type D) connector and be able to plug that into a digital monitor.
The boot process is a bit complex, but explained to some degree here. I copied the bootloader from the forum image to the micro SD card I was using like this:
$ xzcat fedora19_armhf_odroidxu_20130927.img.xz | dd bs=512 skip=1 count=1263 of=bootloader $ dd if=bootloader bs=512 seek=1 of=/dev/mmcblk0
Also you have to flip some seriously tiny dip switches on the motherboard in order to get it to boot from the SD card.
The result anyway is: (a) Green light (b) Fan spins around (c) No ethernet lights (d) Nothing on any display (well, of course this is ARM so what did I expect?)