2 ms·
> 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
by monocasa 4y ago
> 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.