Ubuntuのファームウェア(ISOイメージ)
Ubuntuに関する公式情報はこちら
Pocket 的 Ubuntu 内测固件 第一版 推出
Ubuntu 内测第二版,以及一些常见问题
ソースコードはこちら
Pocket-Ubuntu-kernel4.12
初版
Ubuntu升级工具.zip等
※Ubuntu用のBIOSもこちらからダウンロード可能
第2版
ubuntu-16.04.1-desktop-amd0805.iso
The Latest Firmware Of GPD Game Console-Ubuntu Firmware (internal testing second edition)
どちらも同じものと思われます
第3版
ubuntu-16.04.1-desktop-amd_0809_2.iso
Ubuntu用のBIOSでないと、Ubuntuをブートできません。
Ubuntuを導入する方は、先にBIOSを変更してください。
公開されているBIOSの情報はこちら。
↑ArchLinux?がsystemd-bootで起動した報告あり。
ubuntuもgrub2から変更すればいけるかもしれない(要検証)
↑BIOS 8/7版で日本語RemixISO boot確認