Debian kernel on Odroid xu3?

[Erik de Castro Lopo <mle+debian@mega-nerd.com>]

Hi all,

I've got an Odroid xu3 with Debian Testing on it. Its currently running the
manufacturer's officially blessed kernel (version 3.10.x) compiled from source
with the addition of CONFIG_FANOTIFY enabled (required by systemd).

Has anyone run a Debian kernel like this on an Odroid xu3?

    https://wiki.debian.org/DebianKernel/ARMMP

If so, how does one install it and get it set up?

Thanks in advance,
Erik
-- 
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/