OP-TEE

1. Rodar o script: $ ./build_optee.sh

2. Um pasta chamada “devel” será criada no root
3. $ cd ~/devel/optee/build
4. Preparar o cartão SD (pelo menos 4GB): $ make img-help
5. Rodar os seguintes comandos (todos e na ordem em que aparecem):
6.
O
car
tão
dev
erá
ser
mo
nta
do
no
fim
co
m
dua
s
par
tiçõ
es:
roo
tfs
e
boo
t.
7.
Em
seg
uid
a,
ins
erir o cartão SD no RPI3 e bootar.
8. Para facilitar futuras instalações, uma imagem do OP-TEE foi criada e está no owncloud.

OBS:
- Os controladores de internet estão desativados;
- Para acessar a RPI3 inicialmente deve-se conectar teclado e monitor externos.