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

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