Advanced

Continued funding for Minix

Posted by Scott_Ruecker on · 7 comments
Heise
Mail this story
Print this story

The European Research Council will provide an additional 2.5 million euros to fund development of the Minix 3 operating system for a further five years. The funding will bankroll the workPDF of three academics and two developers. The UNIX-like operating system, which emphasises stability and reliability, is the brain child of computer science professor Andrew Tanenbaum. Tanenbaum says that there are fundamental flaws in the design of all current computer systems and that radical change is needed in future designs to achieve necessary levels of stability and security. His goal is to create a system capable of repairing itself in the event of failure.

Full Story

  Nav
» Read more about: Story Type: News Story

» Get new stories by e-mail: nightly or as they are published

« Return to the newswire homepage

  Related stories
» More like this

Comments (7)

I have nothing against Minix. I have nothing against the design philosophy, nor the development goals.

My "why?" is "why hasn't Minix found funding in the market?"

It's not like several BSDs, Linux, Minuet, FreeDos, and I don't have any idea how many others, and Minix, not to mention the profit-oriented variations on a theme, aren't already being actively, voluntarily, developed.
Early on, Minix had an "academic use only" license. It wasn't until the current version (v3) that it was moved to the GPL.

http://en.wikipedia.org/wiki/MINIX#Licensing
And even though it's now under a GPL license it's goal and main use is still academic research into OS design. The market funds Linux, BSD, FreeDos and the rest because it derives value from them. The market does not derive direct value from academic research, so funding is poor.
I really didn't want to get into a political mess, again, with this. So Sander, please try to see the simple, practical question I'm trying to ask. Public Choice provides the political answer for why the funding took place.

> The market does not derive direct value from academic research, so funding is poor.

But if it is used as a teaching tool, that means there are hundreds, if not thousands, of students who get good grades if they make improvements, and colleges get tuition paid to them for teaching it. As far as I can tell, companies make lots of money printing textbooks even for esoteric niche disciplines.

I'm not seeing how those thousands of developers in some x number of colleges, are not deriving "direct value". That is supposed to be the market for Minix, those who derive direct value from its existence.

Why, with (dozens) hundreds of professors, (hundreds) thousands of developers, and A.T. and his graduate students collecting and keeping what best works, was there any need what so ever for such a grant? If 10 people can constitute a self-sustaining "developer community" for other F/OSS projects, what is special about Minix that it is not self-sustaining with all those motivated, interested people working on it?
Academic research doesn't necessarily mean that students are involved and that it can be paid for from tuition fees. Academic research is also carried out by professors. Perhaps those professors even need to hire a couple of developers to do implementation work (You know how those CS types are. All theoretical wisdom but couldn't hack their way out of a paper bag).
Sander,

If the students aren't involved, then how can they be using it as a teaching tool? Are they not studying it? Examining how it implements the design philosophies?

Does it fail to do what it's supposed to do?

> All theoretical wisdom but couldn't hack their way out of a paper bag

Sounds like the gist of one side of the AT/LT flamewar 17 years ago.
AFAIR Minix 3.0 was a PhD thesis of someone. There you have "student involvement" :) And AFAIR Minix 3.0 was supposed to be something more than a mere teching tool.

Post a comment

A free account is needed to post. Write your comment here first: your text is kept in this browser while you sign up or log in, and is waiting for you when you come back.

Your message:
|||||
10
Markdown: **bold**, *italic*, [text](https://link), - lists, > quotes, $x^2$ for math. Formatting help

Sign up and post (it is free)  or  Log in and post