News for hackers. Stuff that matters.

A comment on Google Is Uncovering Hundreds of Race Conditions Within the Linux Kernel. Parent comment

Re:Google Is Uncovering Hundreds of Race Conditions Within t... by chrisseaton on Thursday October 03, 2019 @09:43AM (#21146831)
> Are there any HN readers here that use MINIX or possibly another OS that does not have the Linux kernel?

I use macOS all the time. My use-case is systems programming.

I also uses iOS on my phone.

Or is that not what you meant?

[ Parent | on HN ]
Re:Google Is Uncovering Hundreds of Race Conditions Within t... by mikorym on Monday October 07, 2019 @02:45AM (#21178105)
I don't know if you go through old comments, but for your reference:

"Mac OS X is sort of microkernelish. Inside, it consists of Berkeley UNIX riding on top of a modified version of the Mach microkernel. Since all of it runs in kernel mode (to get that little extra bit of performance) it is not a true microkernel, but Carnegie Mellon University had Berkeley UNIX running on Mach in user space years ago, so it probably could be done again, albeit with a small amount of performance loss, as with L4Linux. Work is underway to port the Apple BSD code (Darwin) to L4 to make it a true microkernel system." [1]

[1] https://www.cs.vu.nl/~ast/reliable-os/

[ Parent | on HN ]