Domain: l4hq.org
Stories and comments across the archive that link to l4hq.org.
Comments · 8
-
Android on Minix?
-
compiler design and kernel hacking
-
Re:Strange
I haven't found any explicit statement of why they're virtualizing Linux, but from looking at this page, it would appear to me that this about developing Iguana. That is, if Iguana is for providing OS services on the L4 microkernel, what better way to develop and test it than actually using it for virtualizing an existing OS interface? And considering the existing software available for it, what better OS than Linux? I don't know very much about this, but I doubt virtual Linux on L4 is intended to be an end in itself. Even so, if its performance or a significant part of its performance approaches, meets, or exceeds that of Linux, it demonstrates success in the progress in the development of Iguana, whether that's their intention or not. I think that alone is interesting.
-
L4 deserves some attention
-
The L4 Project
The L4 project, and the Wikipedia article on the L4 Microkernel, are both important to mention in a discussion of a modern Microkernel. It has potential - and belongs alongside Mach in such a discussion.
http://en.wikipedia.org/wiki/L4_kernel
http://www.l4hq.org/ -
"micro"kernel?640k? That's not a microkernel.
This is a microkernel.
-
Rumor mill
The developers are working on it slowly now, although one is arranging to get funds to work on it a substantial fraction of his time.
Interesting. Which developer is hoping to get funding? Is it one of the current Hurd contributors like Marcus Brinkmann, Neal Walfield, Ognyan Kulev or Michael Banck? What would they want to work on? The port to L4? Who's sponsoring him? Is it the g10code people? They've collected donations for Hurd development in the past. How close is this to happening? I haven't seen anything on the hurd mailing lists (although I unsubscribed a year ago when they became 95+% spam).Please include you rampant unsubstantiated speculations below.
-
Reinventing the microkernel?
Aren't the virtualization projects like Xen, User Mode Linux, etc. essentially reinventing the microkernel? Their goals seem awfully close to the idea of abstracting away the hardware so you can safely run multiple OS "personalities" at the same time. I wonder what could be accomplished if the virtualization guys teamed up with the people working on a modern microkernel like L4. Anyone have benchmarks comparing L4-Linux with Linux under Xen? Heck, maybe one day people will realize the advantages of a multi-server OS like the Hurd.