On Sun, May 08, 2016 at 07:29:46PM +0530, rahul mahadev wrote:
I plan on using seL4 for the port by either of the two
1. paravirtualize OPTEE(Linaro's TEE) on top of seL4
2. implement an API similar to OPTEE for seL4
I think your approach 3 listed on the blog post (method 2 in the email) is the
sanest choice for a new TEE on RISC-V. It reduces the overall TCB (at least
with respect to the TEE) significantly. Not having to putz with any VMM will
get you going a lot faster too.