[sown]

This sounds kind of like an exo kernel?

[duaneb]

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

This just seems like a straight-up microkernel.