The seL4 micro-kernel that is focused on delivering robust security and performance is being ported to the RISC-V architecture. article: https://www.phoronix.com/scan.php?page=news_item&px=seL4-Coming-To-RISC-V
Stay Connected With RISC-V We send occasional news about RISC-V technical progress, news, and events.