miniblog.
← Back to all posts
Wilfred Hughes
Jul 18, 2018 at 18:59
seL4, the verified microkernel, jas been ported to RISC-V!
https://www.theregister.co.uk/2018/04/23/risc_v_sel4_port/
Brains behind seL4 secure microkernel begin RISC-V chip port
Unveil first code, join giants in industry-standards club