25 ms·

This sounds kind of like an exo kernel?

• duaneb 11y ago
  The exo kernel typically implies a larger, secondary kernel for less performance-oriented operations. This just seems like a straight-up microkernel.