Re: [seL4] Trusted Execution Environment on seL4

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 methods.

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.