mach is the kernel he mentioned from 1985. NextSTEP userland was BSD4.something, and macos modernized somebits to freebsd userland.