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

 2021-02-07  Add comments

 Leave a Reply

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>