Debian GNU/Hurd 2019 Released
31–40 of 99 posts
Re: Debian GNU/Hurd 2019 Released
#32Earlier quoted context omitted.
Well Intel chose minix to run their often despised management engine, so their engineers saw some benefit there to the microkernel architecture. Google is putting at least nomimal developer resources into Fuschia. And the L4 microkernel and derivatives displayed that microkernels aren't doomed to be slow. I think that Linux is probably going to be the dominant free software kernel for quite some time especially since…
The L4 microkernel is currently being used by Apple in the secure enclave. See https://support.apple.com/en-us/HT209632
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.
Re: Debian GNU/Hurd 2019 Released
#33Earlier quoted context omitted.
Followed all your links and found precisely nothing. So many microkernel zealots, down vote storm ahoy. Must be annoying for those involved who are serious engineers and researchers.
QNX for one.
I've been hearing QNX as the one word rebuttal for why is not getting traction for 15 years. Still hasn't got traction, afaict.
Re: Debian GNU/Hurd 2019 Released
#34Re: Debian GNU/Hurd 2019 Released
#35Earlier quoted context omitted.
QNX for one.
Really? If it's such a great example of a multi server, microkernel based os why isn't it used for everything that needs to be secure? I've been hearing QNX as the one word rebuttal for why is not getting traction for 15 years. Still hasn't got traction, afaict.
What about your Intel CPU being at the mercy of Minix 3 to validate its execution state, better?
Re: Debian GNU/Hurd 2019 Released
#36What does Hurd uniquely solve?
Which microkernel based OSes are ccurrently deployed? Which of these are open source?
Re: Debian GNU/Hurd 2019 Released
#37Earlier quoted context omitted.
Which microkernel based OSes are ccurrently deployed? Which of these are open source?
Symbian (you can still buy handsets), QNX, L4, INTEGRITY OS, GenodeOS, muen, Fuchsia. Then you have the hybrid ones from Apple, Android with Treble (classical Linux drivers are referring to as legacy driver on the documentation) and Windows is kind of hybrid as well. As of Catalina, Apple was very clear that the long term roadmap for their OSes is to move all drivers and kernel extensions into userspace, which will b…
Re: Debian GNU/Hurd 2019 Released
#38What does Hurd uniquely solve?
Which microkernel based OSes are ccurrently deployed? Which of these are open source?
The Apple iOS devices all have L4 in their security enclaves.
Both of these OSes have open source options, though the ones shipped in the processors are closed.
Re: Debian GNU/Hurd 2019 Released
#39Earlier quoted context omitted.
Symbian (you can still buy handsets), QNX, L4, INTEGRITY OS, GenodeOS, muen, Fuchsia. Then you have the hybrid ones from Apple, Android with Treble (classical Linux drivers are referring to as legacy driver on the documentation) and Windows is kind of hybrid as well. As of Catalina, Apple was very clear that the long term roadmap for their OSes is to move all drivers and kernel extensions into userspace, which will b…
That is fascinating. So is everyone moving to be more microkernel-y? It's anyone actually transitioning to a more monolithic system?