Live data from Hacker News

Debian GNU/Hurd 2019 Released

lists.debian.org

31–40 of 99 posts

Re: Debian GNU/Hurd 2019 Released

#32

Earlier 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

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.

Re: Debian GNU/Hurd 2019 Released

#33
post #27

Earlier 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.

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.

Re: Debian GNU/Hurd 2019 Released

#35
post #33

Earlier 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.

Ah being one of the most used OS in embedded deployments across the world isn't getting traction, nice try.

What about your Intel CPU being at the mercy of Minix 3 to validate its execution state, better?

Re: Debian GNU/Hurd 2019 Released

#36
post #14

What does Hurd uniquely solve?

Which microkernel based OSes are ccurrently deployed? Which of these are open source?

HelenOS is an interesting open-source micro-kernel based operating system project primarily fueled by Charles University in Prague. It has a working GUI and USB support. It appears to be driven by various dissertations that add functionality see http://www.helenos.org/

Re: Debian GNU/Hurd 2019 Released

#37
post #26
post #14

Earlier 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…

That is fascinating. So is everyone moving to be more microkernel-y? It's anyone actually transitioning to a more monolithic system?

Re: Debian GNU/Hurd 2019 Released

#38
post #14

What does Hurd uniquely solve?

Which microkernel based OSes are ccurrently deployed? Which of these are open source?

The Intel processors all ship with Minix in their Management Engine.

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

#39
post #26

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

Yes, because when you connect the whole world into a kernel, written in C, every little barrier helps.
Post reply on HN