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@...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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main