Apple has been working to harden the XNU kernel that powers its various operating systems ... have different types, are initialized at boot time, and are organized into unique domains." ...