Hi,
On Thu, Jun 11, 2009 at 02:46:50PM +0300, Bahadir Balban wrote:
> 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.
Pistachio? Does that mean that just like Pistachio it has no kernel
support for protected IPC? If so, this is a total show-stopper -- it was
the main reason why the original Hurd/L4 port has been abandoned...
> 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.
Not really: the Hurd does *not* have a central VFS layer.
I can't really say much about the memory manager; but from the sound of
it, it's also more monolithic than the relevant services in the Hurd...
-antrik-
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.