OPTEEのビルド手順

　20150731現在のQEMUのGitHub - OP-TEE/optee_os: Trusted side of the TEEの手順では、
setup_qemu_optee.shを使えって書いているが、これはobsoleteとのこと。

　こちらBuild fails with QEMU build.sh · Issue #419 · OP-TEE/optee_os · GitHubで教えてもらったが、
shellでの自動構築から、repoツールを使用する方法に移行するとのこと。

一先ず、QEMU楽しそう＞＜

P.S. 2015oct28

repoで環境撮り直した最新でも動いた

$ dmesg
...
> $ modprobe optee_armtz
TEE Core Framework initialization (ver 1:0.1)
TEE armv7 Driver initialization
tz_tee_probe: name="armv7sec", id=0, pdev_name="armv7sec.0"
TEE core: Alloc the misc device "opteearmtz00" (id=0)
TEE Core: Register the misc device "opteearmtz00" (id=0,minor=58)
> $ tee-supplicant &
armv7sec armv7sec.0: no TZ l2cc mutex service supported
> $ xtest
...