Choosing a Kernel
Neal H. Walfield
neal at ...8...
Thu Oct 24 12:51:08 CEST 2013
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.
More information about the users