[PATCH 3/3] user: Add aarch64/xilinx-zynqmp

[Kinsey Moore]

---
 user/bsps/aarch64/xilinx-zynqmp.rst | 34 +++++++++++++++++++++++++++++
 user/bsps/bsps-aarch64.rst          |  1 +
 2 files changed, 35 insertions(+)
 create mode 100644 user/bsps/aarch64/xilinx-zynqmp.rst

diff --git a/user/bsps/aarch64/xilinx-zynqmp.rst b/user/bsps/aarch64/xilinx-zynqmp.rst
new file mode 100644
index 0000000..7a3bd24
--- /dev/null
+++ b/user/bsps/aarch64/xilinx-zynqmp.rst
@@ -0,0 +1,34 @@
+.. SPDX-License-Identifier: CC-BY-SA-4.0
+
+.. Copyright (C) 2020 On-Line Applications Research Corporation (OAR)
+
+.. _BSP_aarch64_qemu_xilinx_zynqmp_ilp32:
+.. _BSP_aarch64_qemu_xilinx_zynqmp_lp64:
+
+Qemu Xilinx ZynqMP
+==================
+
+This BSP supports two variants, `xilinx-zynqmp-ilp32` and `xilinx-zynqmp-lp64`.
+The basic hardware initialization is performed by the BSP. These BSPs support
+the GICv2 interrupt controller present in all ZynqMP systems.
+
+Boot via ELF
+------------
+The executable image is booted by Qemu in ELF format.
+
+Clock Driver
+------------
+
+The clock driver uses the `ARM Generic Timer`.
+
+Console Driver
+--------------
+
+The console driver supports the default Qemu emulated ARM PL011 PrimeCell UART.
+
+Running Executables
+-------------------
+
+Executables generated by these BSPs can be run using the following command::
+
+qemu-system-aarch64 -no-reboot -nographic -serial null -serial mon:stdio -machine xlnx-zcu102 -m 4096 -kernel example.exe
diff --git a/user/bsps/bsps-aarch64.rst b/user/bsps/bsps-aarch64.rst
index 319310e..0d4b23c 100644
--- a/user/bsps/bsps-aarch64.rst
+++ b/user/bsps/bsps-aarch64.rst
@@ -6,3 +6,4 @@ aarch64 (AArch64)
 *****************
 
 .. include:: aarch64/a53.rst
+.. include:: aarch64/xilinx-zynqmp.rst
-- 
2.20.1