The exo kernel typically implies a larger, secondary kernel for less performance-oriented operations.

This just seems like a straight-up microkernel.