[no-std] Polish setup process

apache / incubator-teaclave-trustzone-sdk

Teaclave TrustZone SDK enables safe, functional, and ergonomic development of trustlets.

https://teaclave.apache.org

Apache License 2.0

203 stars 58 forks source link

Closed DemesneGH closed 1 month ago

DemesneGH commented 1 month ago

b49020 commented 1 month ago

Reviewed-by: Sumit Garg <sumit.garg@linaro.org>