framebuffer: support HDMI@1920x1080p on exynos5

ref #796

os/src/drivers/framebuffer/exynos5/driver.h

@@ -0,0 +1,116 @@
+/*
+ * \brief  Framebuffer driver for Exynos5 HDMI
+ * \author Martin Stein
+ * \date   2013-08-09
+ */
+
+/*
+ * Copyright (C) 2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
+#ifndef _DRIVER_H_
+#define _DRIVER_H_
+
+/* Genode includes */
+#include <base/stdint.h>
+#include <base/printf.h>
+
+namespace Framebuffer
+{
+	using namespace Genode;
+
+	/**
+	 * Framebuffer driver
+	 */
+	class Driver;
+}
+
+class Framebuffer::Driver
+{
+	public:
+
+		enum Format { FORMAT_RGB565 };
+		enum Output { OUTPUT_LCD, OUTPUT_HDMI };
+
+	private:
+
+		size_t _fb_width;
+		size_t _fb_height;
+		Format _fb_format;
+
+		/**
+		 * Driver-initialization backend for output HDMI
+		 *
+		 * \param fb_phys  physical base of framebuffer
+		 *
+		 * \retval -1  failed
+		 * \retval  0  succeeded
+		 */
+		int _init_hdmi(addr_t fb_phys);
+
+	public:
+
+		/**
+		 * Constructor
+		 */
+		Driver()
+		:
+			_fb_width(0),
+			_fb_height(0),
+			_fb_format(FORMAT_RGB565)
+		{ }
+
+		/**
+		 * Return amount of bytes that is used for one pixel descriptor
+		 *
+		 * \param format  pixel format
+		 *
+		 * \retval  0  failed
+		 * \retval >0  succeeded
+		 */
+		static size_t bytes_per_pixel(Format format)
+		{
+			switch (format) {
+			case FORMAT_RGB565:
+				return 2;
+			default:
+				PERR("unknown pixel format");
+				return 0;
+			}
+		}
+
+		/**
+		 * Return size of framebuffer in bytes
+		 *
+		 * \param width   width of framebuffer in pixel
+		 * \param height  height of framebuffer in pixel
+		 * \param format  pixel format of framebuffer
+		 *
+		 * \retval  0  failed
+		 * \retval >0  succeeded
+		 */
+		size_t buffer_size(size_t width, size_t height, Format format)
+		{
+			return bytes_per_pixel(format) * width * height;
+		}
+
+		/**
+		 * Initialize driver
+		 *
+		 * \param width    width of screen and framebuffer in pixel
+		 * \param height   height of screen and framebuffer in pixel
+		 * \param format   pixel format of framebuffer
+		 * \param output   selected output device
+		 * \param fb_phys  physical base of framebuffer
+		 *
+		 * \retval -1  failed
+		 * \retval  0  succeeded
+		 */
+		int init_drv(size_t width, size_t height, Format format,
+		             Output output, addr_t fb_phys);
+};
+
+#endif /* _DRIVER_H_ */

os/src/drivers/framebuffer/exynos5/main.cc

@@ -0,0 +1,149 @@
+/*
+ * \brief  Framebuffer driver for Exynos5 HDMI
+ * \author Martin Stein
+ * \date   2013-08-09
+ */
+
+/*
+ * Copyright (C) 2013 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
+/* local includes */
+#include <driver.h>
+
+/* Genode includes */
+#include <framebuffer_session/framebuffer_session.h>
+#include <cap_session/connection.h>
+#include <dataspace/client.h>
+#include <base/printf.h>
+#include <base/sleep.h>
+#include <os/config.h>
+#include <os/static_root.h>
+
+namespace Framebuffer
+{
+	using namespace Genode;
+
+	/**
+	 * Framebuffer session backend
+	 */
+	class Session_component;
+};
+
+class Framebuffer::Session_component
+:
+	public Genode::Rpc_object<Framebuffer::Session>
+{
+	private:
+
+		size_t               _width;
+		size_t               _height;
+		Driver::Format       _format;
+		size_t               _size;
+		Dataspace_capability _ds;
+		addr_t               _phys_base;
+
+		/**
+		 * Convert Driver::Format to Framebuffer::Mode::Format
+		 */
+		static Mode::Format _convert_format(Driver::Format driver_format)
+		{
+			switch (driver_format) {
+			case Driver::FORMAT_RGB565: return Mode::RGB565;
+			}
+			return Mode::INVALID;
+		}
+
+	public:
+
+		/**
+		 * Constructor
+		 *
+		 * \param driver  driver backend that communicates with hardware
+		 * \param width   width of framebuffer in pixel
+		 * \param height  height of framebuffer in pixel
+		 * \param output  targeted output device
+		 */
+		Session_component(Driver &driver, size_t width, size_t height,
+		                  Driver::Output output)
+		:
+			_width(width),
+			_height(height),
+			_format(Driver::FORMAT_RGB565),
+			_size(driver.buffer_size(width, height, _format)),
+			_ds(env()->ram_session()->alloc(_size, false)),
+			_phys_base(Dataspace_client(_ds).phys_addr())
+		{
+			if (driver.init_drv(width, height, _format, output, _phys_base)) {
+				PERR("Could not initialize display");
+				struct Could_not_initialize_display : Exception { };
+				throw Could_not_initialize_display();
+			}
+		}
+
+		/************************************
+		 ** Framebuffer::Session interface **
+		 ************************************/
+
+		Dataspace_capability dataspace() { return _ds; }
+
+		void release() { }
+
+		Mode mode() const
+		{
+			return Mode(_width, _height, _convert_format(_format));
+		}
+
+		void mode_sigh(Genode::Signal_context_capability) { }
+
+		void refresh(int, int, int, int) { }
+};
+
+
+/**
+ * Program entrypoint
+ */
+int main(int, char **)
+{
+	using namespace Framebuffer;
+
+	/* default config */
+	size_t width  = 1920;
+	size_t height = 1080;
+	Driver::Output output = Driver::OUTPUT_HDMI;
+
+	/* try to read custom user config */
+	try {
+		char out[5] = { };
+		Genode::Xml_node config_node = Genode::config()->xml_node();
+		config_node.attribute("width").value(&width);
+		config_node.attribute("height").value(&height);
+		config_node.attribute("output").value(out, sizeof(out));
+		if (!Genode::strcmp(out, "LCD")) {
+			output = Driver::OUTPUT_LCD;
+		}
+	}
+	catch (...) {
+		PDBG("using default configuration: HDMI@%dx%d", width, height);
+	}
+	/* create server backend */
+	static Driver driver;
+
+	/* create server entrypoint */
+	enum { STACK_SIZE = 4096 };
+	static Cap_connection cap;
+	static Rpc_entrypoint ep(&cap, STACK_SIZE, "fb_ep");
+
+	/* let entrypoint serve the framebuffer session and root interfaces */
+	static Session_component fb_session(driver, width, height, output);
+	static Static_root<Framebuffer::Session> fb_root(ep.manage(&fb_session));
+
+	/* announce service and relax */
+	env()->parent()->announce(ep.manage(&fb_root));
+	sleep_forever();
+	return 0;
+}
+

os/src/drivers/framebuffer/exynos5/target.mk

@@ -0,0 +1,5 @@
+TARGET   = fb_drv
+REQUIRES = exynos5
+SRC_CC   = main.cc driver.cc
+LIBS     = base config
+INC_DIR += $(PRG_DIR)