Re:ACM Software System Award Given to seL4 Microkernel
by monocasa on Saturday May 06, 2023 @02:55PM
(#35844294)
> I'm not sure Apple publishes which variant of L4 it runs on
The SEPOS kernel is an apparently derived from a fork of L4-embedded they used in Darbat (a fork of XNU to run on top of L4). Not formally verified unless Apple internally has done so.
The SEPOS kernel is an apparently derived from a fork of L4-embedded they used in Darbat (a fork of XNU to run on top of L4). Not formally verified unless Apple internally has done so.