For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
SeL4: The most highly assured and fastest operating system kernel (sel4.systems)
2 points by doener 63 days ago | past
SeL4 is a formally verified operating system (sel4.systems)
1 point by logicallee 3 months ago | past | 1 comment
The SeL4 Microkernel: An Introduction [pdf] (sel4.systems)
264 points by snvzz on March 23, 2025 | past | 188 comments
SeL4 Summit 2024 (sel4.systems)
3 points by snvzz on May 17, 2024 | past
Apple Joins the SeL4 Foundation (sel4.systems)
94 points by fork-bomber on May 10, 2024 | past | 27 comments
Apple Joins SeL4 Foundation (sel4.systems)
4 points by snvzz on April 30, 2024 | past | 1 comment
Apple Joins the SeL4 Foundation (sel4.systems)
18 points by nateb2022 on April 30, 2024 | past | 1 comment
SeL4 Device Driver Framework 0.4.0 (sel4.systems)
57 points by todsacerdoti on April 9, 2024 | past | 38 comments
SeL4 Summit 2023 Recordings (sel4.systems)
3 points by snvzz on Jan 22, 2024 | past
SeL4 Performance (sel4.systems)
2 points by snvzz on April 21, 2022 | past
SeL4 Benchmarks (sel4.systems)
2 points by todsacerdoti on May 25, 2021 | past
SeL4 Whitepaper [pdf] (sel4.systems)
84 points by snvzz on Dec 27, 2020 | past | 29 comments
seL4 whitepaper (v1.0, 2020-05-25) [pdf] (sel4.systems)
2 points by snvzz on May 26, 2020 | past
SeL4 Whitepaper (sel4.systems)
4 points by todsacerdoti on May 25, 2020 | past
SeL4 Microkernel: Security is no excuse for poor performance (sel4.systems)
1 point by doener on Jan 22, 2019 | past
Announcing seL4 with RISC-V support (sel4.systems)
2 points by awelkie on April 18, 2018 | past
SEL4: Mathematically Verified Software Kernels (2014) [pdf] (sel4.systems)
96 points by setra on Dec 27, 2016 | past | 34 comments
First seL4 workshop (sel4.systems)
4 points by qznc on Nov 12, 2016 | past
Genode OS Framework extends support for seL4 microkernel (sel4.systems)
1 point by cvwright on Sept 20, 2016 | past
SeL4 2.0 release notes (sel4.systems)
26 points by BruceM on Nov 30, 2015 | past | 1 comment
SeL4 proof for unhackable kernel (sel4.systems)
1 point by alphydan on Nov 5, 2015 | past
SeL4: OS with formal correctness + security proof (sel4.systems)
9 points by contingencies on Jan 27, 2015 | past | 2 comments
What is Proved and What is Assumed (sel4.systems)
17 points by zekers on July 29, 2014 | past | 1 comment
Sel4: We’re going open source (sel4.systems)
185 points by wglb on June 24, 2014 | past | 62 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You