zynq: add specs for zynq-based boards

- zynq_parallella
- zynq_zedboard
- zynq_zc706
- zynq_zc702

src/core/include/spec/xilinx_uartps_1/serial.h

@@ -0,0 +1,44 @@
+/*
+ * \brief  Serial output driver for core
+ * \author Johannes Schlatow
+ * \date   2014-12-15
+ */
+
+/*
+ * Copyright (C) 2014-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 _CORE__INCLUDE__SPEC__XILINX_UARTPS_1__SERIAL_H_
+#define _CORE__INCLUDE__SPEC__XILINX_UARTPS_1__SERIAL_H_
+
+/* core includes */
+#include <board.h>
+
+/* Genode includes */
+#include <drivers/uart_base.h>
+
+namespace Genode { class Serial; }
+
+/**
+ * Serial output driver for core
+ */
+class Genode::Serial : public Xilinx_uartps_base
+{
+	public:
+
+		/**
+		 * Constructor
+		 *
+		 * \param baud_rate  targeted transfer baud-rate
+		 */
+		Serial(unsigned const baud_rate)
+		:
+			Xilinx_uartps_base(Board::UART_1_MMIO_BASE,
+			                   Board::UART_CLOCK, baud_rate)
+		{ }
+};
+
+#endif /* _CORE__INCLUDE__SPEC__XILINX_UARTPS_1__SERIAL_H_ */

src/core/include/spec/zynq_parallella/board.h

@@ -0,0 +1,33 @@
+/*
+ * \brief  Board driver for core on Zynq
+ * \author Johannes Schlatow
+ * \author Stefan Kalkowski
+ * \author Martin Stein
+ * \date   2014-06-02
+ */
+
+/*
+ * Copyright (C) 2014-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 _CORE__INCLUDE__SPEC__ZYNQ_PARALLELLA__BOARD_H_
+#define _CORE__INCLUDE__SPEC__ZYNQ_PARALLELLA__BOARD_H_
+
+/* core includes */
+#include <spec/cortex_a9/board_support.h>
+
+namespace Genode
+{
+	struct Board : Cortex_a9::Board
+	{
+		enum {
+			KERNEL_UART_BASE = UART_1_MMIO_BASE,
+			KERNEL_UART_SIZE = UART_SIZE,
+		};
+	};
+}
+
+#endif /* _CORE__INCLUDE__SPEC__ZYNQ_PARALLELLA__BOARD_H_ */

src/core/include/spec/zynq_zc702/board.h

@@ -0,0 +1,33 @@
+/*
+ * \brief  Board driver for core on Zynq
+ * \author Johannes Schlatow
+ * \author Stefan Kalkowski
+ * \author Martin Stein
+ * \date   2014-06-02
+ */
+
+/*
+ * Copyright (C) 2014-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 _CORE__INCLUDE__SPEC__ZYNQ_ZC702__BOARD_H_
+#define _CORE__INCLUDE__SPEC__ZYNQ_ZC702__BOARD_H_
+
+/* core includes */
+#include <spec/cortex_a9/board_support.h>
+
+namespace Genode
+{
+	struct Board : Cortex_a9::Board
+	{
+		enum {
+			KERNEL_UART_BASE = UART_1_MMIO_BASE,
+			KERNEL_UART_SIZE = UART_SIZE,
+		};
+	};
+}
+
+#endif /* _CORE__INCLUDE__SPEC__ZYNQ_ZC702__BOARD_H_ */

src/core/include/spec/zynq_zc706/board.h

@@ -0,0 +1,33 @@
+/*
+ * \brief  Board driver for core on Zynq
+ * \author Johannes Schlatow
+ * \author Stefan Kalkowski
+ * \author Martin Stein
+ * \date   2014-06-02
+ */
+
+/*
+ * Copyright (C) 2014-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 _CORE__INCLUDE__SPEC__ZYNQ_ZC706__BOARD_H_
+#define _CORE__INCLUDE__SPEC__ZYNQ_ZC706__BOARD_H_
+
+/* core includes */
+#include <spec/cortex_a9/board_support.h>
+
+namespace Genode
+{
+	struct Board : Cortex_a9::Board
+	{
+		enum {
+			KERNEL_UART_BASE = UART_1_MMIO_BASE,
+			KERNEL_UART_SIZE = UART_SIZE,
+		};
+	};
+}
+
+#endif /* _CORE__INCLUDE__SPEC__ZYNQ_ZC706__BOARD_H_ */

src/core/include/spec/zynq_zedboard/board.h

@@ -0,0 +1,33 @@
+/*
+ * \brief  Board driver for core on Zynq
+ * \author Johannes Schlatow
+ * \author Stefan Kalkowski
+ * \author Martin Stein
+ * \date   2014-06-02
+ */
+
+/*
+ * Copyright (C) 2014-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 _CORE__INCLUDE__SPEC__ZYNQ_ZEDBOARD__BOARD_H_
+#define _CORE__INCLUDE__SPEC__ZYNQ_ZEDBOARD__BOARD_H_
+
+/* core includes */
+#include <spec/cortex_a9/board_support.h>
+
+namespace Genode
+{
+	struct Board : Cortex_a9::Board
+	{
+		enum {
+			KERNEL_UART_BASE = UART_1_MMIO_BASE,
+			KERNEL_UART_SIZE = UART_SIZE,
+		};
+	};
+}
+
+#endif /* _CORE__INCLUDE__SPEC__ZYNQ_ZEDBOARD__BOARD_H_ */