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