Choosing a Kernel

[Neal H. Walfield]

Hi Martin,

At Thu, 24 Oct 2013 12:26:41 +0200,
Martin Stein wrote:
> Nethertheless I'm afraid that base-hw kernel
> isn't yet what your looking for. It doesn't
> handle real capabilities by now. Instead it
> links kernel objects to global names that are
> provided to the userland. Genodes capabilities
> are only carriers of these global names but
> they're not backed by an in-kernel right-
> management. If a thread guesses a global
> name right, it is allowed to acces the
> according kernel object.

This is definately not what I'm looking for.  Thanks for the help.

:) Neal