2016/11/14 19時現在Orange Pi PC2で動くLinuxイメージは公開されていません

2016/11/14 19時現在、Orange Pi PC2で動作するLinuxイメージは公開されていません。

armbianでは、Allwinner A64搭載のPine64に対応しているので、対応も早いのかな？と思いきや
Orange Pi Zeroや他のボードへの対応作業が忙しいので後回しにします、と宣言されてしまっています。
(発言のソース:Armbian for OrangePi PC2, AllWinner H5の２つめの発言)

Orange Pi公式でOrange Pi PC2用のSDKだ、といって配布しているものは、微妙に不完全だったようで、上記のスレッドでも「There is no Linux SDK.」とか書かれています。

時系列的にはソレを受けてだと思われるのですが、Allwinner H5用SDKを元にOrange Pi PC2向けの修正を加えたOrange Pi PC2用のSDKが「https://github.com/orangepi-xunlong/OrangePi_H5SDK」にて公開されました。

これでLinux向けのkernelがコンパイルできるようになってるのか？
試行錯誤が行われていきそうです。

なお、上記のSDKファイルを調べると、Orange Pi PC2のアーキテクチャは「sun50iw2p1」であるようです。

---

2016/11/15追記
linux-sunxiのIRCチャネルで、armbianの開発をやってる１人のtkaiserさんが、Debianイメージを公開しました。
が・・・うちの環境で試した限りではHDMI出力ができてない、というのと
一般公開してるような感じではないので、詳細の紹介はやめておきます。
なお、Linux kernelは 3.10.65となっていました。

追記２
Orange piの公式フォーラムに管理者のzhao_stevenさんが「Orange Pi PC2 Debian server prerelease」として投稿しているものが出所でした。

Image may be NSFW.
Clik here to view.