Feb 072021

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… …

External feed Read More at the Source: http://www.phoronix.com/scan.php?page=news_item&px=seL4-Microkernel-In-2021


Sorry, the comment form is closed at this time.