Apple Joins the SeL4 Foundation

Re:Apple Joins the SeL4 Foundation by darksaints on Friday May 10, 2024 @09:39AM (#40318847)

Any chance this could become the kernel for Darwin?

[ Parent | on HN ]

Re:Apple Joins the SeL4 Foundation by danieldk on Friday May 10, 2024 @09:55AM (#40319030)

More likely future versions of the Secure Enclave (since the SE already uses L4).

[ Parent | on HN ]

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 ]