The wild thing here with a microkernel is that the syscall API to the actual kernel should be theoretically really small right?

I get the various little services might change, but ultimately the kernel supporting posix like threading and memory operations should be mostly enough?