Re: Choosing a Kernel

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