There's actually a fairly productive community-driven effort to upstream support for Allwinner boards: http://linux-sunxi.org/Linux_mainlining_effort http://lin

There's actually a fairly productive community-driven effort to upstream support for Allwinner boards: http://linux-sunxi.org/Linux_mainlining_effort http://linux-sunxi.org/Linux_mainlining_effort I'm running Debian stable with a vanilla 4.5 kernel on my Cubieboard at the moment; the official Debian kernel works too but doesn't support audio out. Unfortunately, it's been somewhat slow going.