1. Inside the Mac OS XKernelDebunking Mac OS Mythslucy28 Dec 2007 2. microkernelMachFreeBSDC++64 bitOpen SourceUNIX 3. microkernelMachFreeBSDC++64 bitOpen SourceUNIXOn the…