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 servic

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?