Trusted Execution Environment on seL4
Hi, I am Rahul Mahadev, I'm currently working on a Google Summer Of Code project with the organization lowRISC. My project is to implement a Trusted Execution Environment for the RISC-V platform. Last year's gsoc had a port of sel4 for RISC-V platform by Hesham Almatery. 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 have written a blog post explaining this, I wanted your opinion + ideas regarding this. link: http://mahadevrahul.blogspot.in/2016/05/gsoc-2016-implementing-trusted.html Thank You, Rahul Mahadev
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/
participants (2)
-
Corey Richardson -
rahul mahadev