Orange Pi

igorさんが作成している、カスタムビルドのDebian、ArmbianがOrange Pi PCに対応していました。

今のところ、Kernelは3.4.110に対応しているようで、Server用とDesktopの両方が用意されている状況です。