hw_x86_64_muen: Provide Muen-specific serial

Subjects on Muen are not allowed to access the BIOS data area. Instead a
serial console is emulated on the fixed I/O port 0x3f8.

repos/base-hw/src/core/include/spec/x86_64_muen/serial.h

@@ -0,0 +1,40 @@
+/*
+ * \brief  Serial output driver for core
+ * \author Stefan Kalkowski
+ * \author Adrian-Ken Rueegsegger
+ * \date   2015-08-20
+ */
+
+/*
+ * Copyright (C) 2012-2015 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.
+ */
+
+#pragma once
+
+/* Genode includes */
+#include <drivers/uart/x86_uart_base.h>
+
+namespace Genode { class Serial; }
+
+/**
+ * Serial output driver for core
+ */
+class Genode::Serial : public X86_uart_base
+{
+	private:
+
+		enum {
+			CLOCK_UNUSED = 0,
+			COM1_PORT    = 0x3f8
+		};
+
+	public:
+
+		Serial(unsigned baud_rate)
+		:
+			X86_uart_base(COM1_PORT, CLOCK_UNUSED, baud_rate)
+		{ }
+};