GNU Hurd 0.7 has been released

Re:GNU Hurd 0.7 has been released by kryptiskt on Saturday October 31, 2015 @02:00PM (#10483481)

Your phone likely has a L4 microkernel running the radio. There are millions and millions of microkernels out there running all kinds of things, going where Linux fear to tread.

[ Parent | on HN ]

Re:GNU Hurd 0.7 has been released by technion on Saturday October 31, 2015 @10:24PM (#10485181)

I'm surprised that something so incredibly prevalent is so rarely discussed.

[ Parent | on HN ]

Re:GNU Hurd 0.7 has been released by techdragon on Saturday October 31, 2015 @10:31PM (#10485203)

Much of the tech community views this as "settled" thanks to the Linux versus Tannenbaum debate.

Microkernels aren't going away any time soon. :-)

[ Parent | on HN ]

Re:GNU Hurd 0.7 has been released by technion on Sunday November 01, 2015 @12:21AM (#10485401)

Oh I know - I meant more "running L4 kernels", with the seL4 currently looking quite interesting.

At what point do you conclude that you're:

* running everything in hypervisor X, thus hardware support doesn't matter * running only servers, thus desktops don't matter * and thusly, may stand more to gain from an environment that never catered to the above two?

[ Parent | on HN ]