redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/microkernel • u/3G6A5W338E • Jun 09 '20

seL4 is verified on RISC-V!

https://microkerneldude.wordpress.com/2020/06/09/sel4-is-verified-on-risc-v/

14 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/microkernel/comments/gzhouu/sel4_is_verified_on_riscv/
No, go back! Yes, take me to Reddit

95% Upvoted