seL4 Micro-Kernel Working Towards A General-Purpose, Multi-Server OS

The seL4 micro-kernel that has been in development for over a decade saw the creation of the seL4 Foundation last year to further the project's goals. In 2020 the seL4 micro-kernel also added RISC-V as one of its primary CPU architectures...