- seL4 Bug-Free Microkernel 7.0.0 https://www.infoq.com/news/2017/10/sel4-bug-free-microkernel-7 10 comments linux
Linked pages
- Home | seL4 https://sel4.systems 502 comments
- Software Security Report Finds JavaScript Applications Have Fewer Flaws Than Java and .NET https://www.infoq.com/news/2023/02/veracode-software-security/ 136 comments
- Microsoft OpenJDK Introduces Experimental Feature for Improving Escape Analysis https://www.infoq.com/news/2023/02/microsoft-openjdk-feature/ 42 comments
- Inter-process communication - Wikipedia http://en.wikipedia.org/wiki/Inter-process_communication 15 comments
- There and Back Again: Our Rust Adoption Journey https://www.infoq.com/presentations/rust-adoption-journey 4 comments
- https://sel4.systems/Info/Roadmap/ 3 comments
- SBIR.gov https://www.sbir.gov/ 1 comment
- Unskilled Cybercriminals May Be Leveraging ChatGPT to Create Malware https://www.infoq.com/news/2023/01/chatgpt-creating-malware/ 0 comments
- Git 2.39.1 Fixes Two Critical Remote Code Execution Vulnerabilities https://www.infoq.com/news/2023/01/git-remote-code-vulnerabilities/ 0 comments
- Java News Roundup: Helidon 4.0-Alpha4, Spring, GlassFish, Quarkus, Ktor, (Re)Introducing RIFE2 https://www.infoq.com/news/2023/02/java-news-roundup-jan30-2023/ 0 comments
- The Ten Year Journey of Facebook's App for iOS https://www.infoq.com/news/2023/02/Facebook-app-ten-years/ 0 comments
Would you like to stay up to date with Unix? Checkout Unix
Weekly.
Related searches:
Search whole site: site:infoq.com
Search title: Secure Microkernel seL4 Reaches Version 7
See how to search.