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. -- cmr +610481782084 http://octayn.net/
signature.asc
Description: PGP signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
