Hi,
I'm happy to announce the availability of a major revamp of the Fiasco microkernel and the corresponding user-level infrastructure.
Highlights include a completely new interface based on capabilities, support for multi-processor systems and virtualization. The runtime environment provides core servers and services, including a C++ and C programming environment, standard libraries (such as libc, stdc++, pthreads), programmable program launching and much more.
http://os.inf.tu-dresden.de/Fiasco/ http://os.inf.tu-dresden.de/L4Re/
Adam
l4-hackers@os.inf.tu-dresden.de