| | SeL4 is a formally verified operating system (sel4.systems) |
| 1 point by logicallee 8 days ago | past | 1 comment |
|
| | The SeL4 Microkernel: An Introduction [pdf] (sel4.systems) |
| 264 points by snvzz 9 months ago | 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 |
|
