3 ms·
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 :)
by Yoric 10y ago
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 10y agoI'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 https://www.youtube.com/watch?v=RdoaFc5-1Rk The associated NICTA SSRG paper: https://ts.data61.csiro.au/publications/nictaabstracts/Elphinstone_Heiser_13.abstract.pml https://ts.data61.csiro.au/publications/nictaabstracts/Elphi... A more recent NICTA SSRG paper: https://ts.data61.csiro.au/publications/nictaabstracts/Heiser_Elphinstone_16.abstract.pml https://ts.data61.csiro.au/publications/nictaabstracts/Heise...