Ubuntuのパッケージ名？で書かれてて、Debianの調べないといけなかった。メンドかったのでメモッとくGitHub - OP-TEE/optee_os: Trusted side of the TEE 4.4 QEMU 4.4.1 Prerequisites $ sudo apt-get install zlib1g-dev libglib2.0-dev libpixman-1-dev l…