3 ms·It's not a FreeBSD kernel, it's a Mach kernel. The userspace is based on FreeBSD though.by sliken 6y agoIt's not a FreeBSD kernel, it's a Mach kernel. The userspace is based on FreeBSD though.