Sample code for L4Ka now available

[Andreas Haeberlen]

Hi L4Ka users!

I'd like to announce that the ChacmOS project is now available for
download from http://www.l4ka.org/projects/chacmos/.

ChacmOS is a small component-based operating system that was built
by four students in a systems course at Karlsruhe University. It
consists of four basic servers (task server, memory server, name server
and file server) running on top of the L4Ka microkernel. Additional
tasks can be started from the interactive shell, which can also access
user data from an ext2 disk image. 

We hope that the source code will be useful to developers who are
building their own systems on top of L4Ka.

 - Andy