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-sos-s...
Thanks,