Library Isolation

[Nobody III]

Will do. Thanks. The only problem I see now is the Framebuffer interface
using 16-bit color, which lacks transparency. With 32-bit color, this
should work perfectly, and can even be extended to text rendering.

On Tue, Mar 13, 2018 at 10:38 AM, Norman Feske <norman.feske at ...1...
> wrote:

> 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
> suggestion.
>
> Happy hacking!
> Norman
>
> --
> Dr.-Ing. Norman Feske
> Genode Labs
>
> https://www.genode-labs.com · https://genode.org
>
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180313/0f71d9a9/attachment.html>