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
