Hi all,
I just wanted to take the chance to introduce Hesham ALMatary and myself. Hesham participates in Google's Summer of Code in the lowRISC organization and I am his mentor. During summer, Hesham will port seL4 to the RISC-V architecture, specifically for the lowRISC project.
Please find more details here: http://www.lowrisc.org/blog/2015/05/summer-of-code-students-for-lowrisc/
Hesham and I will keep you updated about the progress, I believe he will also give updates in his blog: http://heshamelmatary.blogspot.it/.
Best Regards, Stefan