The seL4 Foundation
source link: https://sel4.systems/Foundation/About/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
The seL4 Foundation
We have taken an exciting step to expand the seL4 community, by setting up the seL4 Foundation, similar to foundations for other open-source projects, such as the Linux Foundation's Cloud Native Computing Foundation, RISC-V and others. It forms an open, transparent and neutral organisation tasked with growing the seL4 ecosystem. It brings together developers of the seL4 kernel, developers of seL4-based components and frameworks, and those adopting seL4 in real-world systems. Its focus is on coordinating, directing and standardising development of the seL4 ecosystem in order to reduce barriers to adoption, raising funds for accelerating development, and ensuring clarity of verification claims.
JOIN NOW HERE!
To learn more about the seL4 Foundation:
- Read the Blog post about "The seL4 Foundation — What and Why"
- Read the press releases about the launch:
For details, please see:
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK