L4.sec status ping

[Jorge Torres]

Hi,

I fin interesting Nova L4, What is it about?

Many thanks,

Jorge

On 8/2/07, Marcus Voelp <voelp at os.inf.tu-dresden.de> wrote:
>
> 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 at os.inf.tu-dresden.de
> Web: http://os.inf.tu-dresden.de/~voelp
>
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20070803/e4fc8c61/attachment.htm>