Thanks! That should work, and should help a lot for reducing the TCB of graphical programs.
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