Library Isolation

Norman Feske norman.feske at ...1...
Tue Mar 13 17:38:10 CET 2018

Hi Ben,

On 13.03.2018 17:25, Nobody III wrote:
> Thanks! That should work, and should help a lot for reducing the TCB of
> graphical programs.

please note however, that it is up to the server to consider the
client-specified mode or not. In any case, the client should request the
actual mode by calling 'Framebuffer::Session::mode'. For your custom
server, this mode might always be equal to the client-specified one, but
when testing your component with one of the existing framebuffer
drivers, please keep in mind that the client-provided mode is just a

Happy hacking!

Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list