Hi,

Ernst Rohlicek jun. wrote:
> Hello everyone,
>
> I would just like to ask about the current status or some roadmap for
> L4.sec? Is it actively being worked on?
>
L4.sec is (and probably will be for quite some time) an experiment that
is still worked on in our group. Mainly due to maintenance and support
issues the sources have not been officially released yet. Our roadmap
regarding L4.sec is to continue experimenting with capabilities and user
controlled kernel memory management. Some of the results we already
integrated into the Fiasco kernel, which is our mainstream kernel as for
now. These include kernel memory quotas, security monitor style IPC
permissions (though no local names yet). Others are likely to be
integrated in some form in the Nova microhypervisor, which we are
currently developing in the course of the Robin project.
> Reason is: I need to choose a microkernel to start working on an
> experimental operating system within this year I need some facts for
> decision-making - and I would prefer a capability-based one like L4.sec.
>
Can you elaborate a little on what you plan to do? Possibly, we can give
you more advice on which kernel to use once we know what your plans are.
The L4 related stuff that is out there is:

Fiasco     (TU-Dresden mainstream kernel) + L4Env which is small
multiserver OS
Pistachio (Uni Karlsruhe, UNSW / NICTA mainstream kernel)

L4.Sec     (TUD, experimental)
Nova       (TUD, under development)

seL4        (UNSW / NICTA, Haskel implementation of an interface with
similar features to L4.sec, i.e.,
                 capabilities, kernel memory management, etc.)

+ some commercial versions
P4          (Sysgo)
OKL4     (Open Kernel Labs)

Best regards

    Marcus

--
Marcus Völp

Technische Universität Dresden
Department of Computer Science
Institute for System Architecture

Tel: +49 (351) 463 38350
Fax: +49 (351) 463 38284

Email: voelp@os.inf.tu-dresden.de
Web: http://os.inf.tu-dresden.de/~voelp


_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers