18 Jul
2015
18 Jul
'15
1:08 a.m.
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