1. 6
  1.  

  2. 1

    I’ve always been fascinated by Genode and how it embodies the notion of an “OS kernel construction kit”. I really need to learn more about it.