About Publications Downloads Related Projects Team L4hq.org  
 
Projects
Pistachio
Kickstart
Download
Virtualization
Pre-virtualization
Device Drivers
Multiprocessor
Marzipan
BurnNT
Download
IDL4
Release Notes
Documentation
Download
Persistence
Hazelnut
Download
Getting started
 
Miscellaneous
Mailing lists
Tools
VMwareGateway
Workshops
Google L4Ka.org:
 
  SC/OS 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 SC/OS system consists of five basic components (root task with the task server and memory management, name server, ext2-file server [read only], console server [simple printf and scanf] and block-device server [IDE still polling] ). A test client has been included to test the interface. It features a small shell to ls the root nameserver and any mounted services or filesystems. To test the console driver just type "tetris" and use the a,s,d keys to play text-mode tetris. For generating the necessary communication code, SC/OS relies on the CORBA-based Flick stub generator.

Download
SC/OS Source Code Package
S. Hack, C. Ceelen
[.tgz]
SC/OS Binary Distribution Package
S. Hack, C. Ceelen
[.tgz]
   
 
 
 
  Mail to webmaster   © 2000-2010 University of Karlsruhe