Minix 3 (2014)
droideqa
9 months ago
96
31
https://www.minix3.org/
teddyh9 months ago
Now mostly used in the Intel Management Engine.
mrweaselteddyh9 months ago
Does anyone know why Intel would pick Minix? I can understand not picking Linux, from a licencing perspective, but surely some BSD would have been easier to hire for and more likely to have a modern upstream.
teddyhmrweasel9 months ago
Intel may have needed some of Minix’ unique (for the time) features, like its microkernel architecture and seamless live updates of system components.
Rochusmrweasel9 months ago
Actually I would be interested to see an official confirmation by Intel that they indeed still use Minix, and which version of it. So far all such claims I'm aware of came from third parties.
pjmlpteddyh9 months ago
And Pluton uses TockOS, at least is Rust.
henning9 months ago
Dead project?
marcodiegohenning9 months ago
Yes.
boricjhenning9 months ago
Deader than disco. I seem to reiterate the technical reasons every couple of months or so [1], therefore this time I'll talk more about the management of the project, although I was not a member of the core team so it's mostly observation from the outside in.

Historically, the operating system was largely used as a research platform for writing papers and theses [2]. Unfortunately, research code isn't production-grade code, so despite a lot of effort done to mainline some of it, not all of it was merged. Also, while there was a steady supply of new students to work on MINIX3, there was also a steady turnover because students who finish their studies generally move on to new things.

With the looming retirement of Andrew Tanenbaum in 2014, the project pivoted focus to embedded systems, due to the technical strengths and weaknesses of the system at that time. The ARM port was done around that time as part of it to leverage small board computers. Eventually, the funding dried up and the project slowed to a standstill, largely I believe due to an unsustainable maintenance burden caused by accumulated tech debt over decades that the remaining development manpower (all contributors working on their free time, including myself) couldn't address.

MINIX3 still has some unique cool stuff to this day like seamless live updates of system components, but for me it's too shackled by its past to have a future. It'd be a lot of work to bring it up to modern standards and personally by the time I'd be done with that I think ought to be done, it wouldn't look like MINIX anymore.

[1] https://news.ycombinator.com/item?id=40762110

[2] https://wiki.minix3.org/doku.php?id=publications

chipdartboricj9 months ago
> Deader than disco.

The real question is whether the project is deader than HURD.

ChocolateGodchipdart9 months ago
easy win, HURD was never alive in the first place to be dead
boricjchipdart9 months ago
Given that HURD has a steady trickle of commits and an ongoing quarterly status update on their website, it's more alive than MINIX3 currently is.
my123boricj9 months ago
Harder to say in practice than that, because Minix 3 has production deployments on the Intel (CS)ME, across hundreds of millions of machines, something that the Hurd never had
boricjmy1239 months ago
Tanenbaum published an open letter about this [1]. The gist of it is that Intel took MINIX3 to create the Intel Management Engine, but never contributed anything back. This was permitted by the BSD license, but all these deployments didn't actually help MINIX3 itself grow as a project.

[1] https://web.archive.org/web/20240920163544/https://www.cs.vu.nl/~ast/intel/

chipdartboricj9 months ago
> The gist of it is that Intel took MINIX3 to create the Intel Management Engine, but never contributed anything back.

That's hardly relevant though. Either a project is usable and people use it, or a project is unusable and people don't care if it even exists.

Rochusmy1239 months ago
> because Minix 3 has production deployments on the Intel (CS)ME

Is there actually an official Intel document which confirms this? So far I only saw claims by third parties. Do we know which version of Minix was used, and which parts of it?

bigfatkittenboricj9 months ago
The real question is which is the less dead of HURD and OS/2.

The latter also still has people (outside IBM) working on it. It appears to have changed hands a few times.

https://www.arcanoae.com/arcaos/

SoftTalkerboricj9 months ago
I'm sure the emergence of other open-source operating systems (Linux and BSD) also contributed to the drop in interest?

If you were teaching an OS class in the late 1980s/early 1990s and wanted to have students work on and compile the source code of a UNIX-like system, using desktop PCs of the era, Minix was pretty much it wasn't it?

boricjSoftTalker9 months ago
> I'm sure the emergence of other open-source operating systems (Linux and BSD) also contributed to the drop in interest?

At that time, MINIX had a proprietary license (it wasn't open-source until 2000) and its stated purpose was being a teaching tool for education, not being a production operating system. I can't find the quote itself, but I recall Tanenbaum once said something along the lines of "Turns out I do want to turn MINIX3 into a product, it just took me thirty years to realize it!" (please don't quote me on that unless I manage to dig up the actual quote).

> If you were teaching an OS class in the late 1980s/early 1990s and wanted to have students work on and compile the source code of a UNIX-like system, using desktop PCs of the era, Minix was pretty much it wasn't it?

Nowadays, xv6 fills that niche. Recent versions of MINIX3 arguably outgrew that with the switch over to the NetBSD userland.

SoftTalkerboricj9 months ago
> At that time, MINIX had a proprietary license

Thanks, I didn't remember that but now that you say it that sounds right. Still, I think it was one of the few ways students at the time could inspect the code of a complete OS, modify it, recompile it, and run their changes, all on the PC that many of them had at home or in classrooms.

GianFabienSoftTalker9 months ago
Minix was the foundations upon which Linus built his early versions of Linux.
GianFabienBoingBoomTschak9 months ago
The Wikipedia entry you cite has "The book was greeted with widespread rejection by the technical world and was repudiated by many of its claimed sources." near the beginning.

However, my point is not about copyright,etc. I'm simply pointing out, as Linus has clearly stated in the early days, that he booted a system with Minix and used it to start up the development of what he ended up calling Linux. Over the 30+ years since then, I would suspect that any carryover from Minix is long gone. Even support for Minix filesystem appears (to me) to be deprecated.

GianFabienboricj9 months ago
For me Minix became bloated when they transitioned to supporting BSD userland and X11.

The considerable bloat detracted from the principle of using Minix to teach OS principles.

linsomniac9 months ago
"News" page last update: March 2016. Maybe need a "(2014)" on the title, looks like that was when 3.3.0 was released.
danglinsomniac9 months ago
Ok, added. Thanks!
lacoolj9 months ago
not sure what makes this "news" but it did give me some nostalgia in the "Getting Started" page:

> Now you are ready to start the installation procedure. When installing to the bare computer, put the CD-ROM in the drive, close the door and shut the computer down.

jmorenoamor9 months ago
I remember having to implement partial file locking in Minix as an assignment in college. Good times,
jschulenklopperjmorenoamor9 months ago
Same here. I adapted the file system to honor user quota, and changed the kernel to support priority process scheduling. We also needed to implemented a change in the memory management part... that ironically I cannot remember anymore.
Rygianjschulenklopper9 months ago
It was LRU page eviction, that's why you don't remember :-)
dang9 months ago
Related. Others?

Minix development has been abandoned? - https://news.ycombinator.com/item?id=36064961 - May 2023 (109 comments)

Ask HN: Is Minix dead? No commits since 2018 - https://news.ycombinator.com/item?id=26451540 - March 2021 (142 comments)

Minix 3.3.0 - https://news.ycombinator.com/item?id=8324578 - Sept 2014 (172 comments)

Minix 3.2.1 Released - https://news.ycombinator.com/item?id=5272980 - Feb 2013 (24 comments)