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