genode/os/include/platform/rpi/platform_session
Norman Feske 148206d757 rpi: Framebuffer and platform drivers
The platform driver is used to access the features provided by the
Videocore mboxes, i.e., power configuration and framebuffer setup. The
framebuffer driver uses the platform interface to setup a screen mode of
1024x768.
2013-11-25 09:46:09 +01:00
..
client.h rpi: Framebuffer and platform drivers 2013-11-25 09:46:09 +01:00
platform_session.h rpi: Framebuffer and platform drivers 2013-11-25 09:46:09 +01:00