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.

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_ */