genode/os/include/platform
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
..
arndale platform_drv & exynos5: provide HDMI switches 2013-10-22 08:00:15 +02:00
imx53 i.MX53 tablet: complete IOMUX routes for display 2013-10-22 08:00:14 +02:00
panda panda: centralize spec of interrupt names 2013-11-14 19:56:39 +01:00
pbxa9 pbxa9: centralize spec of interrupt names 2013-11-14 19:56:39 +01:00
rpi rpi: Framebuffer and platform drivers 2013-11-25 09:46:09 +01:00
vea9x4 vea9x4: centralize spec of interrupt names 2013-11-14 19:56:39 +01:00
vpb926 Update copyright headers to 2013 2013-01-10 21:44:47 +01:00