Thanks! That should work, and should help a lot for reducing the TCB of graphical programs.

On Tue, Mar 13, 2018, 10:21 AM Norman Feske <norman.feske@...1...> wrote:
Hi Ben,

On 13.03.2018 16:54, Nobody III wrote:
> That's what I was thinking originally, but that only works when the
> image size is known beforehand.

the 'Framebuffer::Connection' allows a client to specify the preferred
mode as session argument. So the image-renderer component could first
decode the image size, then create a framebuffer session with the image
size as mode, render the image onto the framebuffer, and finally invoke
the 'Framebuffer::Session::refresh' function. The latter tells the
server that the image is ready to be consumed.

Regards
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