[seL4] Porting seL4 to RISC-V

13 Mar 2015

      Hi all,

I'm Hesham ALMatary a computer science research student at the
University of York. I am considering porting L4 microkernel variants
to RISC-V [2] (for both my research and Google Summer of Code), and
Fiasco.OC is one of these variants, but I want to extend the options
here by asking about seL4.

Is this project would be: first applicable, and second of interest to
you? And if yes, would you offer some help (guidance)? I am sending
this message as suggested here [1] that I should contact you if I'm
willing to port seL4 to a new platform.

[1] http://sel4.systems/GettingStarted/
[2] http://riscv.org/

Thanks,
-- 
Hesham