L4Re and Fiasco.OC
adam at os.inf.tu-dresden.de
Fri Jun 18 10:29:12 CEST 2010
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.
More information about the l4-hackers