News for hackers. Stuff that matters.

A comment on Apple Joins the SeL4 Foundation. Parent comment

Re:Apple Joins the SeL4 Foundation by iforgotmysocks on Friday May 10, 2024 @10:17PM (#40325548)
macOS(and other OSes in Apple ecosystem like iOS) currently uses XNU kernel which is hybrid kernel

Hybrid kernel combine both a monolithic kernel and micro kernel

In macOS Mach is micro kernel and Darwin is monolithic kernel

[ Parent | on HN ]

There are no comments on this comment yet.