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