feat(qemu-armv8r): Add initial support to armv8r on qemu

Author: miguelafsilva5

src/arch/armv8/asm_defs.c

@@ -6,6 +6,7 @@
 #include <bao.h>
 #include <cpu.h>
 #include <vm.h>
+#include <mem.h>
 #include <platform.h>
 
 __attribute__((used)) static void cpu_defines(void)
@@ -16,13 +17,18 @@ __attribute__((used)) static void cpu_defines(void)
     DEFINE_SIZE(CPU_STACK_SIZE, ((struct cpu*)NULL)->stack);
 
     DEFINE_OFFSET(CPU_VCPU_OFF, struct cpu, vcpu);
+    DEFINE_OFFSET(CPU_AS_ARCH_MASK_OFF, struct cpu, as.arch.entry_mask);
+    DEFINE_OFFSET(CPU_ARCH_PROFILE_MPU_LOCKED_OFF, struct cpu, arch.profile.mpu.locked);
 }
 
 __attribute__((used)) static void vcpu_defines(void)
 {
     DEFINE_SIZE(VCPU_ARCH_SIZE, struct vcpu_arch);
     DEFINE_OFFSET(VCPU_REGS_OFF, struct vcpu, regs);
+    DEFINE_OFFSET(VCPU_VM_OFF, struct vcpu, vm);
     DEFINE_SIZE(VCPU_REGS_SIZE, struct arch_regs);
+
+    DEFINE_OFFSET(VM_AS_ARCH_MASK_OFF, struct vm, as.arch.entry_mask);
 }
 
 __attribute__((used)) static void platform_defines(void)

src/platform/mps3-an536/inc

@@ -0,0 +1 @@
+../fvp-r/inc

src/platform/mps3-an536/mps3_desc.c

@@ -0,0 +1,44 @@
+/**
+ * SPDX-License-Identifier: Apache-2.0
+ * Copyright (c) Bao Project and Contributors. All rights reserved.
+ */
+
+#include <platform.h>
+
+struct platform platform = {
+
+    .cpu_num = 2,
+    .cpu_master_fixed = true,
+    .cpu_master = 0,
+
+    .region_num = 1,
+    .regions =  (struct mem_region[]) {
+        {
+            // DRAM, 0GB-2GB
+            .base = 0x20000000,
+            .size = 0x80000000,
+        }
+    },
+
+    .console = {
+        //.base = 0xE7C00000,  // UART LLPP //MAYBE
+        .base = 0xE0205000,  // UART0
+    },
+
+    .arch = {
+        .gic = {
+            //GIC DISTRIBUTOR 0xF0000000
+            .gicd_addr = 0xF0000000,
+            //.gicc_addr = 0xAC000000,
+            //.gich_addr = 0xAC010000,
+            //.gicv_addr = 0xAC02F000,
+            .gicr_addr = 0xF0100000,
+            .maintenance_id = 25,
+        },
+
+        .generic_timer = {
+            .base_addr = 0xE0101000, //DUAL TIMER ??
+        },
+    },
+
+};

src/platform/mps3-an536/objects.mk

@@ -0,0 +1,4 @@
+## SPDX-License-Identifier: Apache-2.0
+## Copyright (c) Bao Project and Contributors. All rights reserved.
+
+boards-objs-y+=mps3_desc.o

src/platform/mps3-an536/platform.mk

@@ -0,0 +1,18 @@
+## SPDX-License-Identifier: Apache-2.0
+## Copyright (c) Bao Project and Contributors. All rights reserved.
+
+
+ARCH:=armv8
+ARCH_SUB:=aarch32
+ARCH_PROFILE:=armv8-r
+
+GIC_VERSION:=GICV3
+
+drivers = dummy_uart
+
+platform_description:=mps3_desc.c
+
+platform-cppflags =
+platform-cflags = -gdwarf-4
+platform-asflags =
+platform-ldflags =