which incorporated the bulk of the 4.3BSD kernel modified to run atop Mach primitives, along with an application programming interface (API) in Objective-C for writing drivers named DriverKit.

After Apple acquired NeXT, the kernel was updated with code derived from OSF MK 7.3 from OSF, and