@thomasfuchs Most of it, yeah. The XNU kernel is kind of a hybrid of Mach and some BSD stuff and a bunch of Apple original code.