Hi all,
This is the second status update of the project (Porting seL4 to
RISC-V). Please have a look at the blog post [1] for more details, and
feel free to ask and/or comment. You feedback would be appreciated.
[1]
http://heshamelmatary.blogspot.co.uk/2015/06/sel4-on-risc-v-is-running-so...
Thanks,
--
Hesham