From cf100f96af4c8b0f22bd8ce7dda975cb309b12ea Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Wed, 18 Mar 2015 10:31:25 +0100
Subject: [PATCH] hw_x86_64: Add x86-specific board.h file

The file specifies constants for the LAPIC, I/O APIC MMIO regions plus
the interrupt remapping offset and timer vectors.
---
 .../base-hw/src/core/include/spec/x86/board.h | 34 +++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 repos/base-hw/src/core/include/spec/x86/board.h

diff --git a/repos/base-hw/src/core/include/spec/x86/board.h b/repos/base-hw/src/core/include/spec/x86/board.h
new file mode 100644
index 000000000..dfb47706a
--- /dev/null
+++ b/repos/base-hw/src/core/include/spec/x86/board.h
@@ -0,0 +1,34 @@
+/*
+ * \brief  x86 mmio constants
+ * \author Reto Buerki
+ * \date   2015-03-18
+ */
+
+/*
+ * Copyright (C) 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.
+ */
+
+#ifndef _BOARD_H_
+#define _BOARD_H_
+
+namespace Genode
+{
+	struct Board
+	{
+		enum {
+			MMIO_LAPIC_BASE  = 0xfee00000,
+			MMIO_LAPIC_SIZE  = 0x1000,
+			MMIO_IOAPIC_BASE = 0xfec00000,
+			MMIO_IOAPIC_SIZE = 0x1000,
+
+			VECTOR_REMAP_BASE   = 48,
+			TIMER_VECTOR_KERNEL = 32,
+			TIMER_VECTOR_USER   = 50,
+		};
+	};
+}
+
+#endif /* _BOARD_H_ */