Files
genode/os/include/framebuffer_session