[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[ANNOUNCE] Introducing Codezero

From: Bahadir Balban
Subject: [ANNOUNCE] Introducing Codezero
Date: Thu, 11 Jun 2009 14:46:50 +0300
User-agent: Thunderbird (X11/20090318)

Hi Everyone,

l4-hurd activity seems to have come to a halt.

I would like to announce my ongoing work on a new L4 microkernel called Codezero. Codezero is a modern L4 microkernel implementation written in C. It targets embedded platforms, supports the ARM architecture, and aims to implement both virtualization and native OS components in one system.

Codezero has a design and API that is similar to existing L4 microkernels such as Pistachio.

The software currently comes with two services: First one is the default pager called MM0 that provides memory management capabilities with a POSIX-like API. It supports proper demand paging and implements calls such as fork, clone, execve, exit, mmap, shm.

The second service is called FS0 and it implements the virtual filesystem layer. This service supports calls such as open, close, read, write, lseek, stat, fsync, etc.

I believe the triplet is closest to what you (or at least I, given the past versions of Hurd) would imagine or expect to have as an OS core based around L4.

The software comes with a GPLv3 license, and a copyright share agreement option for contributions. The source code base is fairly clean and easy to play with. I encourage anybody interested in development to join.

For more details:



Bahadir Balban

reply via email to

[Prev in Thread] Current Thread [Next in Thread]