| | 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
|
|
