Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

1.0.0 release of Rust support for seL4 userspace (github.com/sel4) 7 points by Zamiel_Snawley on July 20, 2024 | past Rust-sel4: Rust support for seL4 userspace (github.com/sel4) 3 points by todsacerdoti on April 23, 2024 | past SeL4 Specification and Proofs (github.com/sel4) 2 points by Lwrless on Aug 21, 2023 | past Google Joins seL4 Foundation (github.com/sel4) 3 points by edgurgel on Aug 4, 2022 | past The seL4 microkernel (github.com/sel4) 102 points by fgeorgy on Sept 18, 2015 | past | 12 comments The seL4 microkernel (github.com/sel4) 194 points by gioele on July 29, 2014 | past | 43 comments

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