Update:    Logged in, and was immediately aware of EXT4 filesystem errors..

[ 2520.305000] EXT4-fs error (device sda1): ext4_lookup:1437: inode #261634: comm xauth: deleted inode referenced: 307878
[ 2520.315000] EXT4-fs error (device sda1): ext4_lookup:1437: inode #261634: comm xauth: deleted inode referenced: 307878
[ 2520.325000] EXT4-fs error (device sda1): ext4_lookup:1437: inode #261634: comm xauth: deleted inode referenced: 307878
[ 2520.330000] EXT4-fs error (device sda1): ext4_lookup:1437: inode #261634: comm xauth: deleted inode referenced: 307878
[ 2520.340000] EXT4-fs error (device sda1): ext4_lookup:1437: inode #261634: comm xauth: deleted inode referenced: 307878
[ 2520.350000] EXT4-fs error (device sda1): ext4_lookup:1437: inode #261634: comm xauth: deleted inode referenced: 307878
EXT4-fs (sda1): initial error at 1392848030: ext4_lookup:1437: inode 261634
EXT4-fs (sda1): last error at 1392848030: ext4_lookup:1437: inode 261634

So – I have reverted to 3.8.13.18 again, for the time being!     Fortunately, I was able to run fsck against the USB stick, to fix the (several!) errors..     So – I would not recommend trying this, for the time being!

RG.

Finally found the correct info for loading the ‘device tree’ 3.13 kernel for the Odroid U3 – from http://git.prahal.homelinux.net/odroid.git/tree/refs/heads/odroid_G9.

Most of the up-to-date (device tree) kernel boot instruction examples I found were for the XU model, and didn’t work for the U2/U3, but I finally found a combined zImage-with-dtb set of instructions, that actually worked, to produce the boot image, as follows:

Compile the kernel / zImage / dtbs / modules etc., and then:
cat arch/arm/boot/zImage arch/arm/boot/dts/exynos4412-odroidu2.dtb > /boot/uboot/zImage_w_dtb

Then make a boot.scr image from the following boot.txt:

setenv initrd_high "0xffffffff"
setenv fdt_high "0xffffffff"
setenv fb_x_res "1920"
setenv fb_y_res "1080"
setenv hdmi_phy_res "1080"
setenv bootargs "console=tty1 console=ttySAC1,115200n8 fb_x_res=${fb_x_res} fb_y_res=${fb_y_res} hdmi_phy_res=${hdmi_phy_res} root=/dev/sda1 rootwait rw mem=2047M"
setenv bootcmd "fatload mmc 0:1 0x40008000 zImage_w_dtb; bootm 0x40008000"
boot

And the result:

Fedora release 20 (Heisenbug)
Kernel 3.13.0 on an armv7l (ttySAC1)
................
# uname -a
Linux rgodroid 3.13.0 #1 SMP PREEMPT Wed Feb 19 21:24:15 GMT 2014 armv7l armv7l armv7l GNU/Linux

The Odroid u-boot should be capable of loading the zImage and dtb separately, but I cannot – so far – find any details on how to do this for the U2/U3..

Thanks are due to Alban Browaeys, for all his work on producing this kernel version – patched for the Odroid U2/U3, and to the folks at ArchLinux, for the original boot.txt example I used as a starting point..

Robert Gadsdon.   February 19, 2014.