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
Related Posts
Wilfred Hughes
Zig shipped a RISC-V backend before AArch64! I think RISC-V is doing really well in the technology enthusiast community.
https://news.ycombinator.com/item?id=44222212
Jun 13, 2025 at 18:57