3 ms·

True, this should have a disclaimer: "* For a very flexible definition of a microkernel"

• bregma 7y ago
  "given a sufficiently large value of 'micro'"