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 snvzz on Sunday March 23, 2025 @09:12PM (#43457126)
>the long-suffering GNU/HURD team discovered;

HURD is Mach-based; it is stuck in a pre-L4 world and thus irrelevant to this conversation.

Very 40 years ago technology. Still better than ~60yr ago UNIX, although they're trying to ultimately be UNIX-like.

It is sad Mach and HURD still keep coming up in microkernel discussion.

[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by naasking on Monday March 24, 2025 @04:06PM (#43464892)
Maybe not that irrelevant, since another desktop and mobile operating system used around the world is also based on Mach.
[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by snvzz on Monday March 24, 2025 @06:45PM (#43466185)
There's some hope now that Apple is a seL4 foundation member.
[ Parent | on HN ]
Re:The SeL4 Microkernel: An Introduction [pdf] by indolering on Monday March 24, 2025 @09:54PM (#43467389)
A Mach that is neutered WRT it's microkernel architecture.
[ Parent | on HN ]