This Summer in Redox: A Complete Rewrite of the Kernel
I applaud lessons taken from Liedtke/L4, a major step in the right direction. Now I can look at that project seriously, rather than consider it yet another pre-Liedtke mistake.<p>I'm not so sure, however, about concurrency in the kernel. The locks and added complexity certainly aren't going to help keep WCET low and bound.<p>NICTA's SSRG did study this: <a href="https://ts.data61.csiro.au/publications/nictaabstracts/Peters_DEH_15.abstract.pml" rel="nofollow">https://ts.data61.csiro.au/publications/nictaabstracts/Peter...</a>