News for hackers. Stuff that matters.

A comment on The SeL4 Microkernel: An Introduction [pdf]. Parent comment

Re:The SeL4 Microkernel: An Introduction [pdf] by p_ing on Sunday March 23, 2025 @04:33PM (#43455676)
There are a few references to the OSF Mach kernel from '98 in a few files, such as https://github.com/apple-oss-distributions/xnu/blob/main/osf...

EDIT: Apple calls out Mach 3.0.

https://developer.apple.com/library/archive/documentation/Da...

https://developer.apple.com/library/archive/documentation/Da...

Apple took Mach 3.0 and collapsed it into a single address space for performance purposes. Certainly reasonable.

[ Parent | on HN ]

There are no comments on this comment yet.