Happy 15th Birthday Linux
An anonymous reader writes "It's 15 years already! On August 25th, 1991 Linus Torvalds submitted the famous message to comp.os.minix: 'Hello everybody out there using minix — I'm doing a (free) operating system (just a hobby, won't be big and
professional like gnu) for 386(486) AT clones. This has been brewing
since april, and is starting to get ready. I'd like any feedback on
things people like/dislike in minix, as my OS resembles it somewhat
(same physical layout of the file-system (due to practical reasons)
among other things)' Happy Birthday Linux!"
GNU/Hurd developers are commited to create THE best possible kernel. They don't have any time pressure so they can freely make experiments in the true spirit of Open Source.
Right now, there is an ongoing effort to use Coyotos ( http://coyotos.org/ ) to create the first operating system with the proved correctness of its kernel.
Besides, message-passing interfaces (the core feature of microkernels) can be potentially very efficiently implemented on multicore processors. For example, ARM Fast Address Space Switching (FASS) can potentially make microkernels FASTER than common monolythic ones.