Comment by mrpippy

10 hours ago

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