The ODROID-C2 (their AArch64 offering) was added to the Linux kernel device tree in March: https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commi

The ODROID-C2 (their AArch64 offering) was added to the Linux kernel device tree in March: https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=855960342d1e777e5d1ff37a9ca8b4f22a7d53b4 https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.... But Hardkernel does seem to have a lot of additional patches in the kernel that they ship: https://github.com/hardkernel/linux/tree/odroidc2-3.14.y https://github.com/hardkernel/linux/tree/odroidc2-3.14.y