The kernel from this limited bit of info is almost an exokernel, it's missing the most important bits, an asyncish syscall api and proper capabilities. Batching

The kernel from this limited bit of info is almost an exokernel, it's missing the most important bits, an asyncish syscall api and proper capabilities. Batching is a nice mitigation but not ideal, an ideal way to mitigate context switches would be a data-driven api that let's the kernel (due to info the kernel has access to) decide. Both a data-driven api and exokernel with a proper language you could apply optimizations across the entire operating system.