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-riscvfpga.html Thanks, -- Hesham _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
