Out of curiosity, do you have a reference to "lessons taken from Liedtke/L4"? Ou... | Hacker News

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

Yoric on Nov 1, 2016 | parent | context | favorite | on: This Summer in Redox: A Complete Rewrite of the Ke...

Out of curiosity, do you have a reference to "lessons taken from Liedtke/L4"? Out of the blue, I have no clue what it means :)

snvzz on Nov 1, 2016 [–]

I'm thinking mostly about the principle of minimality (what can be out of the kernel should be). But there's some more contributions from L4.

The ACM did a talk on those insights 20 years later: https://www.youtube.com/watch?v=RdoaFc5-1Rk

The associated NICTA SSRG paper: https://ts.data61.csiro.au/publications/nictaabstracts/Elphi...

A more recent NICTA SSRG paper: https://ts.data61.csiro.au/publications/nictaabstracts/Heise...

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact