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
Where Is SeL4 Heading? (microkerneldude.wordpress.com)
22 points by ingve on Sept 28, 2021 | past | 1 comment
SeL4 Integrity Enforcement Proved for RISC-V (microkerneldude.wordpress.com)
3 points by kryptiskt on Aug 3, 2021 | past
There’s more to it, Dr Marshall (microkerneldude.wordpress.com)
1 point by todsacerdoti on July 28, 2021 | past
“Trustworthy Systems Research Is Done” – Are You Kidding, Csiro? (microkerneldude.wordpress.com)
3 points by doppioandante on June 9, 2021 | past
SeL4 on RISC-V Verified to Binary Code (microkerneldude.wordpress.com)
157 points by kryptiskt on May 5, 2021 | past | 47 comments
SeL4 is verified on RISC-V (microkerneldude.wordpress.com)
244 points by ingve on June 9, 2020 | past | 80 comments
The SeL4 Foundation: What and Why (microkerneldude.wordpress.com)
104 points by ingve on April 7, 2020 | past | 64 comments
SeL4 Design Principles (microkerneldude.wordpress.com)
146 points by snvzz on March 12, 2020 | past | 18 comments
SeL4 Micro Kernel Design Principles (microkerneldude.wordpress.com)
4 points by metahost on March 11, 2020 | past
seL4 Design Principles (microkerneldude.wordpress.com)
4 points by matt_d on March 10, 2020 | past
Can seL4 reduce the cost of satellites? (microkerneldude.wordpress.com)
3 points by ingve on Nov 20, 2019 | past
10 Years SeL4: Still the Best, Still Getting Better (microkerneldude.wordpress.com)
150 points by ingve on Aug 6, 2019 | past | 56 comments
How to (and how not to) use seL4 IPC (microkerneldude.wordpress.com)
1 point by tonyg on March 7, 2019 | past
Microkernels Really Do Improve Security (microkerneldude.wordpress.com)
1 point by ingve on Aug 23, 2018 | past
Verified software can (and will) be cheaper than buggy stuff (microkerneldude.wordpress.com)
2 points by qznc on Nov 18, 2016 | past
Verified software can (and will) be cheaper than buggy stuff (microkerneldude.wordpress.com)
4 points by cmrx64 on June 16, 2016 | past
OK Labs Story: The Beginning (microkerneldude.wordpress.com)
10 points by ridruejo on Nov 9, 2014 | past
Giving it away? Part 2: On microkernels and the national interest (microkerneldude.wordpress.com)
2 points by tdrnd on Oct 11, 2012 | past
Retracted papers at USENIX - what happened (microkerneldude.wordpress.com)
2 points by delsarto on June 20, 2012 | past

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

Search:

HN For You