Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> 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?



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/




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: