Linked by Thom Holwerda on Mon 13th Mar 2006 13:38 UTC, submitted by Norman Feske
OSNews, Generic OSes The OS Group of Technische Universitaet Dresden (TUD:OS) has released a live demo CD of their custom operating system project. TUD:OS is a microkernel-based operating system targeted at secure and real-time systems. Some highlights of the demo CD include a new approach for securing graphical user interfaces called Nitpicker, multiple L4Linux kernels running at the same time on top of a custom L4 microkernel, a survey on the reuse of device drivers on the TUD:OS platform, native Qt-applications, the DOpE windowing system, games, and much more. More information is available at the demo CD website. And yes, boys and girls, there are screenshots, too.
Order by: Score:
Neato!
by cking on Mon 13th Mar 2006 15:04 UTC
cking
Member since:
2005-12-14

This looks cool. I wonder if it'll be open source. It seems to have SDL and QT, -hypervised?, It doesn't mention if they provide GCC.

Calling it a Demo makes it out to be commercial, but this seems to be a research project and they are keen to introduce it to anyone interested. I'm confused, does not compute /smoke comes out top of head, springs pop out ears, whiring noise falls silent./

Really interesting micro-kernel and security work though.

Rob Pike once said systems research was dead, 6 years later, things seem to be slightly better.

Reply Score: 1

Jochen Liedtke
by braddock on Mon 13th Mar 2006 16:00 UTC
braddock
Member since:
2005-07-08

It is great to see the l4 work is continuing. I was a big fan of Jochen Liedtke's work, and was afraid that the nanokernel might permanently stagnate without him, after his untimely death in 2001.

http://i30www.ira.uka.de/aboutus/people/liedtke/inmemoriam.php

Reply Score: 5

Minix3?
by GreatBunzinni on Mon 13th Mar 2006 16:44 UTC
GreatBunzinni
Member since:
2005-10-31

How does this OS compares to the good old MINIX 3?

Reply Score: 0

RE: Minix3?
by braddock on Mon 13th Mar 2006 16:56 UTC in reply to "Minix3?"
braddock Member since:
2005-07-08

I don't know Minix3 in particular, but in general Minix is a traditional microkernel architecture. L4 is usually refered to as a "nanokernel"; it is an order of magnitude smaller than a typical microkernel, and has only the minimal amount of priviledged functionality needed. I think the original l4 implementation was 13kbytes.

All higher-level functionality is implemented by user-space servers. It is sort of the same philosophy as a microkernel, but taken to the purist extreme to keep implementation clean, optimized, efficient, and secure.

It is notable that one user-space server that has been implemented is the Linux kernel, and another was the Hurd/Mach microkernel, both of which were "hung" onto the L4 in such a way that multiple instances of them can run simultaneously, with approximately a 5% performance penalty.

Reply Score: 5

v You talking to me?
by TADavis on Mon 13th Mar 2006 16:49 UTC
cool
by SEJeff on Mon 13th Mar 2006 16:55 UTC
SEJeff
Member since:
2005-11-05

Wow, L4 is a true microkernel operating system even moreso than Minix 3. As much as Andy spouts Minix, it's still not a competitior to Linux even if it is better in theory.

I will be playing with this to see what all I can get to compile this weekend for sure.

Reply Score: 1

v Minix?
by TADavis on Mon 13th Mar 2006 17:14 UTC
v RE: Minix?
by SEJeff on Mon 13th Mar 2006 18:01 UTC in reply to "Minix?"
RE[2]: Minix?
by Get a Life on Mon 13th Mar 2006 21:29 UTC in reply to "RE: Minix?"
Get a Life Member since:
2006-01-01

Such a degree of disrespect for Andrew Tanenbaum is undue, no matter how poorly you understand some argument on Usenet from the early '90s.

Reply Score: 4

RE[3]: Minix?
by vitae on Mon 13th Mar 2006 21:50 UTC in reply to "RE[2]: Minix?"
vitae Member since:
2006-02-20

Really? Because if Andrew Tanenbaum was some polite old professor happy to see a youngster like Linus Torvalds accomplish something great, that'd be nice. But he's not. He's a loud-mouthed, opinonated ass. You have to give respect to get it back. That's how it works. He doesn't seem to understand that.

Reply Score: 2

RE[4]: Minix?
by Get a Life on Mon 13th Mar 2006 23:14 UTC in reply to "RE[3]: Minix?"
Get a Life Member since:
2006-01-01

Maybe if you knew what you were talking about you wouldn't stick your foot in your mouth.

Reply Score: 2

RE[4]: Minix?
by thebluesgnr on Tue 14th Mar 2006 00:39 UTC in reply to "RE[3]: Minix?"
thebluesgnr Member since:
2005-11-14

His opinions on Linux were honest and true. The only one who lacked respect in that discussion apologized for it at the time.

Reply Score: 1

RE[4]: Minix?
by EliGottlieb on Tue 14th Mar 2006 17:20 UTC in reply to "RE[3]: Minix?"
EliGottlieb Member since:
2005-10-30

Everyone on the net is a loud-mouthed, opinionated ass.

Reply Score: 1

Seriously cool
by madcrow on Mon 13th Mar 2006 20:17 UTC
madcrow
Member since:
2006-03-13

This is the most interesting "new" OS I've seen in a while. I wonder if this is FOSS or just plain freeware. Now if only somebody would write some more drivers...

Reply Score: 1

Very Nice
by Sphinx on Mon 13th Mar 2006 20:56 UTC
Sphinx
Member since:
2005-07-09

Great to see something completely different in a linux distro, way to evolve dudes!

Reply Score: 1

FOSS
by werpu on Mon 13th Mar 2006 20:58 UTC
werpu
Member since:
2006-01-18

to my knowledge but the L4 microkernel has been around for a while nobody has bothered so far to make a live distro, a recent linux distro based on L4 with a good installer would rock, imaging running Linux and BSD side by side under one Microkernel.

Reply Score: 2

great!
by broken_symlink on Tue 14th Mar 2006 00:07 UTC
broken_symlink
Member since:
2005-07-06

This is cool. I have wanted to try l4 for a while. I use os x, and from what i understand, most of its speed issues seem to come from mach. I always wundered if it is possible to just rip out mach from darwin and switch to l4.

Reply Score: 1