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