3 ms·
Looks interesting. My former colleagues worked on porting osx to l4 more than a decade ago. That still doesn't look like a microkernel based, multi server os t
by harry8 7y ago
Looks interesting. My former colleagues worked on porting osx to l4 more than a decade ago.
That still doesn't look like a microkernel based, multi server os to me and does not claim to exhibit those of touted advantages. This reminds me more of dresdens live demo cd from about 2006. Great stuff, but more of a virtualisation layer than an os.
I'd like to see it stand up.
- anyfoo 7y agoJust out of curiosity, are you saying you don’t think the OS running on the Secure Enclave processor (which is separate from the main OS) looks like a multi server microkernel, or are you still referring to the osx on L4 Experiment you mentioned?