1. 5
  1.  

  2. 1

    Imagine using a pure microkernel multiserver architecture like Genode/seL4, instead of going this far to try and do it with an unfit design.