aarch64: Add initial Arm FVP platform config

This platform assumes 2 clusters of A57 processors as described in
tools/dts/fvp.dts. This configuration is for running on FVP simulators.

CHANGES

@@ -40,6 +40,7 @@ Upcoming release: BREAKING
 * Add configurable system call allowing userspace to set TLS register without capability on all platforms.
 * Non-hyp support added for Arm GICv3 interrupt controller.
 * Add initial i.MX8M Quad evk 64-bit Support. Currently only AArch64 EL1 non-secure is supported.
+* Add FVP platform with fixed configuration. This currently assumes A57 configuration described in tools/dts/fvp.dts.
 
 ## Upgrade Notes
 ---

libsel4/sel4_plat_include/fvp/sel4/plat/api/constants.h

+/*
+ * Copyright 2019, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * This software may be distributed and modified according to the terms of
+ * the BSD 2-Clause license. Note that NO WARRANTY is provided.
+ * See "LICENSE_BSD2.txt" for details.
+ *
+ * @TAG(DATA61_BSD)
+ */
+
+#ifndef __LIBSEL4_SEL4_PLAT_API_CONSTANTS_H_
+#define __LIBSEL4_SEL4_PLAT_API_CONSTANTS_H_
+
+#ifdef HAVE_AUTOCONF
+#include <autoconf.h>
+#endif
+
+/* Cortex A57 manual, section 10.6.1 */
+#define seL4_NumHWBreakpoints (10)
+#define seL4_NumExclusiveBreakpoints (6)
+#define seL4_NumExclusiveWatchpoints (4)
+#ifdef CONFIG_HARDWARE_DEBUG_API
+#define seL4_FirstWatchpoint (6)
+#define seL4_NumDualFunctionMonitors (0)
+#endif
+
+#endif /* __LIBSEL4_SEL4_PLAT_API_CONSTANTS_H_ */

src/plat/fvp/config.cmake

+#
+# Copyright 2019, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# This software may be distributed and modified according to the terms of
+# the GNU General Public License version 2. Note that NO WARRANTY is provided.
+# See "LICENSE_GPLv2.txt" for details.
+#
+# @TAG(DATA61_GPL)
+#
+
+cmake_minimum_required(VERSION 3.7.2)
+
+declare_platform(fvp KernelPlatformFVP-evk PLAT_FVP KernelSel4ArchAarch64)
+
+if(KernelPlatformFVP)
+    declare_seL4_arch(aarch64)
+    set(KernelArmCortexA57 ON)
+    set(KernelArchArmV8a ON)
+    config_set(KernelPlatform PLAT "fvp")
+    set(KernelArmPASizeBits44 ON)
+    list(APPEND KernelDTSList "tools/dts/fvp.dts")
+    declare_default_headers(
+        TIMER_FREQUENCY 100000000llu
+        MAX_IRQ 207
+        INTERRUPT_CONTROLLER arch/machine/gic_v3.h
+        TIMER drivers/timer/arm_priv.h
+    )
+endif()
+
+add_sources(
+    DEP "KernelPlatformFVP"
+    CFILES src/arch/arm/machine/l2c_nop.c src/arch/arm/machine/gic_v3.c
+)