3 ms·
Some mandatory mentions: https://en.wikipedia.org/wiki/MkLinux https://en.wikipedia.org/wiki/MkLinux - linux on top of the mach microkernel, I think it was spo
by dependenttypes 6y ago
Some mandatory mentions:
https://en.wikipedia.org/wiki/MkLinux https://en.wikipedia.org/wiki/MkLinux - linux on top of the mach microkernel, I think it was sponsored by Apple (especially its book was great)
https://en.wikipedia.org/wiki/L4Linux https://en.wikipedia.org/wiki/L4Linux
- xvilka 6y agoThere is now PureDarwin[1][2] also. It's still actively developed - last commit was a few hours ago. [1] http://www.puredarwin.org/ http://www.puredarwin.org/ [2] https://github.com/PureDarwin/PureDarwin https://github.com/PureDarwin/PureDarwin