diff --git a/repos/base-hw/src/core/include/spec/x86/serial.h b/repos/base-hw/src/core/include/spec/x86_64/serial.h
similarity index 100%
rename from repos/base-hw/src/core/include/spec/x86/serial.h
rename to repos/base-hw/src/core/include/spec/x86_64/serial.h
diff --git a/repos/base-hw/src/core/include/spec/x86_64_muen/serial.h b/repos/base-hw/src/core/include/spec/x86_64_muen/serial.h
new file mode 100644
index 0000000000..bd1406f235
--- /dev/null
+++ b/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)
+		{ }
+};