seL4 runs on Rocket Chip (RISCV/FPGA) - Devel

18 Jul 2015


      Hi all,
This is a status update of the seL4/RISC-V project. It can run now on
Rocket Chip (FPGA) and jor1k (online emulator), for more details have
a look at this link [1].
[1] http://heshamelmatary.blogspot.co.uk/2015/07/sel4-runs-on-rocket-chip-riscvf...
Thanks,
-- 
Hesham