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.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.NICTA's SSRG did study this: https://ts.data61.csiro.au/publications/nictaabstracts/Peter...