A door lock is a lock and you can lock a door lock. A container can be a sandbox and you can use a container to sandbox.

Ok, so at this point we’re getting iOS kernel source releases more often than AOSP drops? Maybe they should rename to i Open Source at this point because they seem to be doing a better job than Google at this now.

Isn't the kernel tree for AOSP open (so can see changes continuously)?

The development isn't done in the public tree (anymore), you essentially get a git push every 6 months in public.

For the android parts or for the kernel. I was asking specifically about the kernel.

(My impression was based on lwn discussions about that change)

Edit: https://android.googlesource.com/kernel/common/ has a lot of recent changes

Ah, the situation there is a bit more complicated, sorry :)

It was a good choice for macOS and also works on other platforms.

The same restrictions apply to iPadOS.

I don’t think WebKit would be particularly interested in this.

How is it ad incentivized?

It is actually documented now: https://developer.apple.com/documentation/virtualization/acc...

> Mach is not a very good microkernel at all, because the overhead is much higher than necessary. The L4 family’s IPC design is substantially more efficient, and that’s why they’re used in actual systems.

As opposed to Mach, which is not used in any actual systems

I mentioned XNU below. It doesn’t really count as a microkernel if you, you know, don’t actually use the microkernel part. At least for the 30 years between the FreeBSD collision and the introduction of DriverKit, which does most of its IPC through shared memory (because the mach ports are not efficient enough, I would assume).

Yes, but a lot of other things use Mach messages.

All the major OSes have components of the larger operating system that run in userspace and communicate via IPC, including Linux. But userspace drivers and basic system services (VFS, network stack, etc.) are very limited in their use of userspace/IPC. If macOS is a microkernel in the sense of those built on L4, then so are Windows and Linux, and the word doesn't have any meaning anymore.

> Undefined behavior-related bugs are permanently hidden.

No they are often found and fixed.

High severity security issues.