| ▲ | tombert 4 days ago |
| I still haven't used Hurd, and at this point with the ridiculous diversity in hardware for desktop and laptops I don't think I could realistically use it for anything outside of playing with it in a virtual machine or something. Still, a part of me wishes we lived in the alternative universe where Hurd had taken over the world instead of Linux. I don't know much about kernel design so I'm speaking out of my ass here, but I've always thought that the microkernel design was more elegant than the monolithic thing we ended up with. I don't know that the alternate universe would be "better", and maybe realistically a design like Hurd would never be able to take over the world like Linux, but it always seemed cooler to me. I honestly didn't really realize that they were still working on Hurd. Does anyone here use it for anything? |
|
| ▲ | gjsman-1000 4 days ago | parent | next [-] |
| Curiously, in what no academic could have predicted, millions of people interact with a microkernel every day, and it was written by freaking Nintendo of all possible companies. (The Switch is a custom microkernel called Horizon; not FreeBSD, not Linux, not Android.) Almost every other consumer device is monolithic or hybrid. While the Switch was broken early, this was due to NVIDIA's buggy boot code. The operating system itself... you could literally pwn WebKit or the Bluetooth driver, and get absolutely nowhere. SciresM famously reimplemented the kernel in an open source fashion (Mesosphere) and the secure monitor code (Exosphere), and has publicly stated they have zero possible security bugs in his eyes. That was in 2020 and there have not been any reports of kernel security bugs since. |
| |
| ▲ | comex 4 days ago | parent [-] | | To be fair, microkernels are also highly successful in embedded devices and auxiliary processors. It’s just that you don’t usually directly interact with them. For example, Intel ME runs MINIX, and Apple’s Secure Enclave Processor runs L4. Also most OSes these days have some kind of hypervisor/secure monitor that’s more privileged than the regular kernel: TEE on Android, SPTM on Apple, VBS on Windows, and proprietary ones on all the game consoles. They vary in how much functionality they’re actually responsible for, but if it’s a significant amount then they tend to have a microkernel-ish design internally. Another example of microkernel-based systems you do interact with is car infotainment systems, where QNX has apparently seen a lot of use – though I think these days it’s being displaced by Linux and Android Automotive? I don’t actually know much about that industry. |
|
|
| ▲ | bombcar 4 days ago | parent | prev | next [-] |
| The "gnu" in the famous email is GNU Hurd; we're still waiting: >I'm doing a (free) operating system (just a hobby, won't be big and professional like gnu) for 386(486) AT clones. |
| |
| ▲ | dec0dedab0de 4 days ago | parent | next [-] | | no it's not, the GNU system was already established by then,.and in use with other kernels. Linus was referring to GNU as a whole, not Hurd. | | |
| ▲ | bombcar 4 days ago | parent [-] | | GNU was a toolchain in search of a kernel; which was supposed to be Hurd. (It often got installed on top of “real” Unix because it was a damn good toolchain) | | |
| ▲ | kpil 4 days ago | parent [-] | | Still is. The standard tools were always sort of unergonomic on all of AIX, Sun/Solaris, DEC/Alpha, SCO, and *BSD. I don't know but it seems people (or at least old geezers) install GNU on top of Macs these days. | | |
| ▲ | leoc 4 days ago | parent | next [-] | | They famously did better than the proprietary shell tools in the original fuzzpocalypse https://users.cs.northwestern.edu/~robby/courses/395-495-200... . I also think I recall reading, somewhere on jwz dot org, something which purported to be an internal SGI email giving a dismal account of the quality of the Irix tools. GNU tools often have expanded feature sets, too. But I think that GNU-tools adopters were probably also driven by a standardisation impulse to at least have the same bugs and quirks as everyone else. Yes, here it is: “Software Usability II” by Tom Davis, the “Irix bloat memo” https://www.seriss.com/people/erco/sgi-irix-bloat-document.t... . Mind you, that bloat would probably look very modest nowadays. | | |
| ▲ | pram 4 days ago | parent [-] | | I mean a lot of the stuff he's complaining about being crap aren’t exactly replaceable by the GNU coreutils. People installed them on AIX/Solaris etc because the BSD/SysV tools they came with were basically abandoned. The GNU tools had a lot more useful features, not specifically more performant (although they probably were) | | |
| ▲ | bombcar 4 days ago | parent [-] | | Sometimes they were faster but there certainly were more “bloated” - you can find people complaining about it from the era. But they really did have tons of options and once you were used to them, you really wanted them. But remember that GNU grew up in the era of multi-user systems; and Linux was the forefront of “personal computing Unix” where the user had root. |
|
| |
| ▲ | pxc 4 days ago | parent | prev | next [-] | | > I don't know but it seems people (or at least old geezers) install GNU on top of Macs these days. Me, I do this! I like being able to tack flags on after positional args if I remember them after typing a command. I like some of the convenience flags added to the GNU versions coreutils, grep, and findutils. Even `parallel` implementation I've used before is GNU parallel. I've never really learned mawk, to the extent I know awk at all, it's gawk. (I don't like the common convention of prefixing them with `g` on macOS, either. I install them with Nix and just preempt the system ones on my PATH.) | |
| ▲ | pjmlp 4 days ago | parent | prev [-] | | Missing the little detail that since Sun started charging for developer tools, all other UNIX vendors followed suit, thus GCC finally started to get mindshare. |
|
|
| |
| ▲ | goku12 4 days ago | parent | prev [-] | | GNU HURD is not like GNU/Linux. The latter stands for a combination of Linux kernel with GNU userland. They're distinct projects. GNU HURD on the other hand, is just a subproject of GNU. The entire OS is called just GNU, like how the BSDs are today. So if Torvalds meant the HURD, he would explicitly mentioned it. | | |
|
|
| ▲ | asveikau 4 days ago | parent | prev | next [-] |
| I seem to recall the Hurd people talking about cool scenarios like filesystem drivers written entirely in user mode that don't require root. Something like that. I booted it on real hardware sometime in the early 2000s, and it worked but was very anticlimactic. I do know that the Mach microkernel they based it on (also the basis for Apple's XNU kernel) is considered dated. Later microkernels are supposed to have better performance. |
| |
| ▲ | tombert 4 days ago | parent | next [-] | | Yeah, that's what I've always thought was interesting about microkernels; the ability to have a lot more stuff in user space always seemed like the obvious "correct" direction to me. I played with RedoxOS a bit in a virtual machine a few years ago [1], and it seemed cool, so maybe that can be the logical successor to something like Hurd. [1] https://en.wikipedia.org/wiki/RedoxOS | | |
| ▲ | eadmund 4 days ago | parent | next [-] | | > I played with RedoxOS a bit in a virtual machine a few years ago, and it seemed cool, so maybe that can be the logical successor to something like Hurd. A problem with RedoxOS is that it is not GPLed: contributors have no assurance that they and others will be able to use software built with their contributions. Microsoft, Apple, Google and Facebook all have plenty of money to pay engineers; they don’t need my contributions for free. | |
| ▲ | pjmlp 4 days ago | parent | prev | next [-] | | Which is how most drivers now work across macOS, Windows and Android/Linux. Unfortunely other UNIX clones rather keep going as "things were always done around here" | |
| ▲ | 4 days ago | parent | prev | next [-] | | [deleted] | |
| ▲ | dietr1ch 4 days ago | parent | prev [-] | | Oh, I thought that was going to die shortly after Jeremy moved to System76, but it didn't, - https://www.redox-os.org/news/ | | |
| ▲ | cmrdporcupine 4 days ago | parent [-] | | Project seems quite healthy to me. I was intending on trying it over the weekend but dragged into chores instead. I think there's some spark there. | | |
| ▲ | goku12 4 days ago | parent [-] | | Their matrix community (spaces) sees a healthy level of discussions. Even those related to project governance. The project is very much alive. And I believe that they're also porting the COSMIC desktop to Redox. |
|
|
| |
| ▲ | goku12 4 days ago | parent | prev | next [-] | | I have heard even more fantastic ideas. For example, the IPC and memory protection being served by userspace servers (I don't know how valid this is, or if I understood this correctly). You could have features similar to namespaces and cgroups by default, without the extra logic and code. You could have had native containerization from the start. | |
| ▲ | bawolff 4 days ago | parent | prev [-] | | And now we have FUSE. The good ideas do get taken up by the mainstream. | | |
| ▲ | asveikau 4 days ago | parent | next [-] | | I feel like there's a difference between FUSE, an anomalous way to implement a filesystem, and having the user-space method be the primary mechanism to implement a filesystem. The latter ensures that the user-space thing doesn't have a quality gap with "real" FS drivers. | |
| ▲ | marcosdumay 4 days ago | parent | prev [-] | | We have entire userspace network protocols, ePBF, and to some extent even ePool pooling ideas from microkernels. But A single disgruntled kernel dev is enough to stop Rust device drivers from existing, so no, the idea is still not here. | | |
| ▲ | steveklabnik 4 days ago | parent | next [-] | | That didn’t happen. | |
| ▲ | josefx 4 days ago | parent | prev [-] | | Even the Asahi Linux lead threatening Linus with a witchhunt against all kernel maintainers did not manage to finish off the ongoing Rust integration. People may not like it but it isn't going down easily. |
|
|
|
|
| ▲ | bawolff 4 days ago | parent | prev | next [-] |
| > but I've always thought that the microkernel design was more elegant than the monolithic thing we ended up with. The thing with elegant systems is they usually don't succeed if the alternative is something pragmatic that has been battle tested. |
| |
| ▲ | tombert 4 days ago | parent | next [-] | | No question, and especially now with Linux running on billions of devices (if you include Android in that at least), it would be kind of difficult to make a case for a brand new desktop operating system. A lot of the weird edge cases for Linux have been found and fixed and ironed out through decades of continued use. I tried installing FreeBSD on a laptop years ago, which isn't really an "obscure" operating system or anything, but even that had a lot of compatibility problems with regards to drivers for wifi and GPUs, and even that would have a considerable head-start over something like Hurd if it were to try and take on the desktop world. | | |
| ▲ | bee_rider 4 days ago | parent | next [-] | | Speaking of BSD, in the hypothetical no-Linux universe, that would be the obvious candidate for taking the Linux spot, right? Rather than Hurd. BSD might even have won in the Linux-included universe, if some random events has panned out differently. Why not, right? | | |
| ▲ | tombert 4 days ago | parent | next [-] | | Didn't Linus even say that if he had known about BSD he wouldn't have bothered with Linux? I could totally see an alternate universe where BSD took over the world. | | |
| ▲ | bombcar 4 days ago | parent | next [-] | | It's arguable that the main reason Linux took off where BSD didn't was the fights and copyright arguments around BSD at the time. Had they not existed, or BSD been obviously free and clear, Linux might have been a footnote. | | |
| ▲ | ghaff 4 days ago | parent [-] | | A combination IMO of lingering issues around the AT&T lawsuit and various community issues within the BSDs. | | |
| ▲ | flykespice 3 days ago | parent [-] | | Yep, the copyrighted Socket code legal issue has stalled the BSD world for a considerable time. It's reasonable to conclude many users thought it was a deadend for BSD distros, and when Linux emerged as the most promising thing from all (free as in freedom, open to any contribution, not plagued by a closed governance like GNU hurd) they all emigrated en masses to the effort. | | |
|
| |
| ▲ | butterisgood 4 days ago | parent | prev [-] | | I recall either Linus or a major Linux contributor (Alan Cox?) saying that if he had had a math coprocessor, he would have likely just ran BSD. I don't think even 386BSD existed when Linus started Linux. |
| |
| ▲ | jraph 4 days ago | parent | prev | next [-] | | It could have been that more effort would have been put in Hurd if Linux hadn't taken off. And then BSD could have won against Hurd anyway. Especially when corps like the permissive license and are afraid of the FSF. | |
| ▲ | evanjrowley 4 days ago | parent | prev [-] | | Yes and no. The gaming industry serves as an illustrative example because we know the Sony Playstation 4 and 5 are both based on FreeBSD[0]. Compare Sony PlayStation Network[1] Monthly active users on PlayStation Network reached 123 million as of June 30, 2025.
with Valve's Steam[2] Valve reported 132 million active monthly players (that is, they used Steam within the month, as opposed to being logged in at exact the same time) at the end of 2021...
This isn't scientific, but if the same ratio of active monthly to peak concurrent users held through to today, back of the napkin math would put Steam's current active monthly users at 221.5 million
With an optimistic estimate of current Monthly Active Users, if gaming on Linux grew overnight from 2.5% to 50% of total players on Steam, then it would still be slightly behind half of the people who are currently gaming on FreeBSD-based Playstation.FreeBSD code is also in iOS and macOS via Darwin, the Nintendo Switch, and the Microsoft Windows networking stack. Evidently BSD is a go-to choice for consumers today, but many don't realize it, and those of us who do often do not think about it. That's because the BSD license and the companies that use it result in products that bear no resemblance to the BSD we know. A similar situation occurred with Minix - to the extent that it's creator Andrew Tannenbaum had no idea it's install base was arguably bigger than Linux until 2017. Intel had put Minix into the Management Engine on their professional grade CPUs for years. The BSD license allowed Intel to put it everywhere without the knowledge of the wider Minix community. In some key ways, BSD is already taking the Linux spot, however, I'd argue that BSD can't truly take the Linux spot because the GPL license makes the Linux spot what it is. I honestly can't say if this makes Linux better or worse off. The most advanced technology of our time is largely not choosing copyleft licenses, and for those who did choose it, they've taken steps to distance themselves from it[3][4][5][6]. Given all this, I think Hurd has more of a chance to be the spiritual successor to Linux (if it disappeared). The only caveat is there is zero chance for a big-tech-dominated $200M "Hurd Foundation" to arise due to Hurd's's affiliation with the Free Software Foundation. Not much of the Linux Foundation's money actually goes to Linux, so it may not matter in the grand scheme of things[7]. [0] https://wololo.net/2023/03/22/new-freebsd-vulnerabilities-co... [1] https://www.psu.com/news/psn-hits-123-million-monthly-active... [2] https://www.pcgamer.com/gaming-industry/steam-just-cracked-4... [3] https://arstechnica.com/gadgets/2017/05/googles-fuchsia-smar... [4] https://www.androidauthority.com/google-android-development-... [5] https://www.theregister.com/2023/06/23/red_hat_centos_move/ [6] https://lwn.net/Articles/655519/ [7] https://blog.desdelinux.net/en/The-annual-report-of-the-Linu... | | |
| ▲ | rcxdude 4 days ago | parent | next [-] | | Embedded for sure eats the world. If you're looking at that then QNX, FreeRTOS, and similar options are also big in the running. The thing is if you're targeting a particularly well-defined piece of hardware and application, and you know you're going to want to customize and optimize for that combination, then you're generally going to be better off with a smaller, simpler starting point than something which is designed to run on pretty much everything and for almost any application. The different licenses complement that, but I think even if the licenses swapped the design and goal difference would affect things more. | |
| ▲ | jowea 4 days ago | parent | prev | next [-] | | > A similar situation occurred with Minix - to the extent that it's creator Andrew Tannenbaum had no idea it's install base was arguably bigger than Linux until 2017. Intel had put Minix into the Management Engine on their professional grade CPUs for years. The BSD license allowed Intel to put it everywhere without the knowledge of the wider Minix community. Off topic question, but wasn't that a violation of the BSD license? It does require a copyright notice. | |
| ▲ | inkyoto 4 days ago | parent | prev | next [-] | | > FreeBSD code is also in iOS and macOS via Darwin […] It is a common belief that Darwin has allegedly descended from FreeBSD, but there is not a lot in there: a pretty ancient snapshot of the FreeBSD userland, another snapshot of the TCP/IP stack that has now completely diverged from the current FreeBSD TCP/IP stack (or, more correctly, the other way round), plus a few borrowed kernel level API's (kqueue is the most notable one). VMM, VFS, driver layers, file systems etc etc do not share the same lineage. | |
| ▲ | doublepg23 4 days ago | parent | prev [-] | | > Evidently BSD is a go-to choice for consumers today, but many don't realize it, and those of us who do often do not think about it. Is this not even more true than with Linux in the billions strong Android? | | |
| ▲ | evanjrowley 4 days ago | parent | next [-] | | Links 3 through 6 in my comment touched upon this. My point is that even companies behind commercial Linux products are trying to resist the GPL. In 2021, it appeared that Google was planning a pivot to their own BSD/MIT-licensed OS named Fuscia. https://arstechnica.com/gadgets/2017/05/googles-fuchsia-smar... This pivot seemed to end around the same time tech layoffs were occuring in 2024. https://9to5google.com/2024/01/15/google-is-no-longer-bringi... Since then, Google has chosen to limit the amount of open source development done for the Android OS. https://www.androidauthority.com/google-android-development-... Keeping Android kernel development internal creates greater risk of binary blobs polluting the source code. Binary blobs might be a practical solution to bring products to market, but they are also a mechanism to circumvent the GPL. I doubt Google will take this problem seriously, but other Linux distributions have. https://lwn.net/Articles/655519/ The move by Google mirrors the choice by Red Hat to keep RHEL source code private. https://www.theregister.com/2023/06/23/red_hat_centos_move/ The common trend is product managers for these companies view the GPL as a bug instead of a feature. | |
| ▲ | bee_rider 4 days ago | parent | prev | next [-] | | I’m not sure which comes out ahead if we count all of these kinds of devices. There are probably a lot of lightbulbs and routers out there running some variant of BSD or Linux, but only the manufacturer knows (I mean, you can often figure it out, but who cares?). Anyway, it is important to keep in mind that the useful “size” metric of a community led open source project is the number of developer-hours being contributed to it, not the number of users. It is a fun bit of trivia that these devices are everywhere, and maybe good news for open source fans’ career prospects. But that’s all. | |
| ▲ | pjmlp 4 days ago | parent | prev [-] | | Linux kernel, not GNU/Linux, which is what folks trying to misuse NDK always get wrong. |
|
|
| |
| ▲ | Twirrim 4 days ago | parent | prev | next [-] | | > it would be kind of difficult to make a case for a brand new desktop operating system Google is sure trying with Fuscia: https://en.wikipedia.org/wiki/Fuchsia_(operating_system) | |
| ▲ | femto 4 days ago | parent | prev [-] | | > especially now with Linux running on billions of devices Aren't those billions of Linux/Android instances typically running on top of an seL4 microkernel? | | |
| ▲ | yjftsjthsd-h 4 days ago | parent [-] | | Are they? I can't seem to find evidence of Android using it | | |
| ▲ | femto 4 days ago | parent [-] | | At one point it was [1], and I'm not aware that that has changed. I've also a memory of talking to the seL4 team at a NICTA open day, and them saying it was widely deployed on Qualcomm based devices. It's not part of Android per se, sitting underneath Android and acting as a secure hypervisor, so any Android vulnerabilities are contained. [1] https://web.archive.org/web/20120211210405/http://www.ok-lab... |
|
|
| |
| ▲ | m463 4 days ago | parent | prev | next [-] | | You're talking about systemd right? :) I suspect that there is a place for elegant systems - they just have to be pragmatic in how they launch. Start small, do a limited function, or replace an existing limited function, and grow from there. Thing is, linux is a kernel, but its driver support and hooks into the rest of userspace makes it more than just a kernel. Harder to replace with something more elegant/better. | |
| ▲ | AdmiralAsshat 4 days ago | parent | prev | next [-] | | Didn't Blackberry's OS have a microkernel? | | | |
| ▲ | WhyNotHugo 4 days ago | parent | prev [-] | | > The thing with elegant systems is they usually don't succeed if the alternative is something faster. FTFY |
|
|
| ▲ | 4 days ago | parent | prev [-] |
| [deleted] |