Comment by mrpippy

The Mach APIs are available to userland applications, if you used a different kernel you’d have to implement them somehow