Hackernews posts about KataOS

Related: Google   SeL4   Sparrow  
  1. Quantum Katas (quantum.microsoft.com)
  2. Quantum Katas (quantum.microsoft.com)
  3. Code Katas (codekata.com)