Ubuntuのファームウェア(ISOイメージ)
Ubuntuに関する公式情報はこちら
Pocket 的 Ubuntu 内测固件 第一版 推出
初版
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)
どちらも同じものと思われます
Ubuntu用のBIOSでないと、Ubuntuをブートできません。
Ubuntuを導入する方は、先にBIOSを変更してください。
公開されているBIOSの情報はこちら。
↑ArchLinux?がsystemd-bootで起動した報告あり。
ubuntuもgrub2から変更すればいけるかもしれない(要検証)