L4Re and Fiasco.OC

[Adam Lackorzynski]

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