About Publications Downloads Related Projects Team L4hq.org  
 
Projects
Pistachio
Kickstart
Download
Virtualization
Pre-virtualization
Device Drivers
Multiprocessor
Marzipan
BurnNT
IDL4
Release Notes
Documentation
Persistence
Hazelnut
Download
Getting started
 
Miscellaneous
Mailing lists
Tools
VMwareGateway
Workshops
Google L4Ka.org:
 
  ChacmOS is a small component-based operating system that runs on top of L4Ka's Hazelnut microkernel. We released it under GPL because we think that developers who want to build their own systems might use some sample code. However, if you need an OS for everyday use, this is certainly not what you are looking for.

The ChacmOS system consists of four basic components (task server, memory server, name server and file server). Additional tasks can be started from the interactive shell, which can access user data from a ramdisk. For generating the necessary communication code, ChacmOS relies on the CORBA-based IDL4 stub generator.

Download
ChacmOS Source Code Package
A. Haeberlen, C. Schwarz, M. Völp, H. Wenske
[.tgz]
   
 
 
 
  Mail to webmaster   © 2000-2008 University of Karlsruhe