feat(platform): add mps3 support

Signed-off-by: Jose Martins <[email protected]>

Author: josecm

README.md

@@ -56,9 +56,9 @@ platforms is presented below:
 
 **Armv8-R AArch32**
 - [x] Arm Fixed Virtual Platforms
+- [x] QEMU MPS3-AN536
 - [ ] NXP S32Z/E
 - [ ] Renesas RZT2M
-- [ ] QEMU MPS3-AN536
 
 **RISC-V RV64**
 - [x] QEMU virt
@@ -115,29 +115,29 @@ Systems**". In Workshop on Next Generation Real-Time Embedded Systems (NG-RES 20
 Schloss Dagstuhl-Leibniz-Zentrum für Informatik. 2020.
 https://drops.dagstuhl.de/opus/volltexte/2020/11779/
 
-2. José Martins and Sandro Pinto. "**Bao: a modern lightweight embedded hypervisor**".
+1. José Martins and Sandro Pinto. "**Bao: a modern lightweight embedded hypervisor**".
 In Proceedings of the Embedded World Conference, Nuremberg, Germany, 2020.
 
-3. José Martins and Sandro Pinto. "**Static Partitioning Virtualization on RISC-V**".
+1. José Martins and Sandro Pinto. "**Static Partitioning Virtualization on RISC-V**".
 In RISC-V Summit, virtual, 2020. https://www.youtube.com/watch?v=yuxMn4ZApEM
 
-4. Bruno Sá, José Martins and Sandro Pinto. "**A First Look at RISC-V Virtualization from an Embedded Systems Perspective**".
+1. Bruno Sá, José Martins and Sandro Pinto. "**A First Look at RISC-V Virtualization from an Embedded Systems Perspective**".
 In IEEE Transactions on Computers, doi: 10.1109/TC.2021.3124320.
 
-5. Samuel Pereira, João Sousa, Sandro Pinto, José Martins, David Cerdeira "**Bao-Enclave: Virtualization-based Enclaves for Arm**.
+1. Samuel Pereira, João Sousa, Sandro Pinto, José Martins, David Cerdeira "**Bao-Enclave: Virtualization-based Enclaves for Arm**.
 In https://arxiv.org/abs/2209.05572
 
-6. José Martins and Sandro Pinto. "**Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems**".
+1. José Martins and Sandro Pinto. "**Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems**".
 In RTAS 2023, San Antonio, Texas, 2023. https://arxiv.org/abs/2303.11186
 
-7. José Martins and Sandro Pinto. "**Porting of a Static Partitioning Hypervisor to Arm’s Cortex-R52**"
+1. José Martins and Sandro Pinto. "**Porting of a Static Partitioning Hypervisor to Arm’s Cortex-R52**"
 In Embedded Open Source Summit 2023, Prague, Czech Republic, 2023. https://www.youtube.com/watch?v=GmeOikZJRas
 
-8. David Cerdeira and José Martins. "**"Hello 'Bao' World" Tutorial**"
+1. David Cerdeira and José Martins. "**"Hello 'Bao' World" Tutorial**"
 In Bao Half-Day, Virtual Workshop, 2023. https://www.youtube.com/watch?v=6c8_MG-OHYo
 
-9. João Peixoto, José Martins, David Cerdeira and Sandro Pinto. "**BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor**"
+1. João Peixoto, José Martins, David Cerdeira and Sandro Pinto. "**BiRtIO: VirtIO for Real-Time Network Interface Sharing on the Bao Hypervisor**"
 In IEEE Access, 2024. https://ieeexplore.ieee.org/document/10781314
 
-10. Hidemasa Kawasaki and Soramichi Akiyama. "**Running Bao Hypervisor on gem5**"
+1.  Hidemasa Kawasaki and Soramichi Akiyama. "**Running Bao Hypervisor on gem5**"
 In gem5 blog, 2024. https://www.gem5.org/2024/11/12/bao-on-gem5.html

src/platform/drivers/cmsdk_uart/cmsdk_uart.c

@@ -0,0 +1,29 @@
+/**
+ * SPDX-License-Identifier: Apache-2.0
+ * Copyright (c) Bao Project and Contributors. All rights reserved.
+ */
+
+#include <bao.h>
+#include <drivers/cmsdk_uart.h>
+
+#define CMSDK_STATE_TX_BUF_FULL    (1UL << 0)
+#define CMSDK_STATE_TX_BUF_OVERRUN (1UL << 2)
+#define CMSDK_STATE_RX_BUF_OVERRUN (1UL << 3)
+#define CMSDK_CTRL_TXEN            (1UL << 0)
+
+void uart_init(volatile struct cmsdk_uart_hw* ptr_uart)
+{
+    ptr_uart->state = CMSDK_STATE_TX_BUF_OVERRUN | CMSDK_STATE_RX_BUF_OVERRUN;
+    ptr_uart->intstatus = 0xf;
+}
+
+void uart_enable(volatile struct cmsdk_uart_hw* ptr_uart)
+{
+    ptr_uart->ctrl = CMSDK_CTRL_TXEN;
+}
+
+void uart_putc(volatile struct cmsdk_uart_hw* ptr_uart, int8_t c)
+{
+    while (ptr_uart->state & CMSDK_STATE_TX_BUF_FULL) { }
+    ptr_uart->data = (uint32_t)c;
+}

src/platform/drivers/cmsdk_uart/inc/drivers/cmsdk_uart.h

@@ -0,0 +1,25 @@
+/**
+ * SPDX-License-Identifier: Apache-2.0
+ * Copyright (c) Bao Project and Contributors. All rights reserved.
+ */
+
+#ifndef __CMSDK_UART_H_
+#define __CMSDK_UART_H_
+
+#include <stdint.h>
+
+struct cmsdk_uart_hw {
+    volatile uint32_t data;
+    volatile uint32_t state;
+    volatile uint32_t ctrl;
+    volatile uint32_t intstatus;
+    volatile uint32_t bauddiv;
+} __attribute__((packed));
+
+typedef struct cmsdk_uart_hw bao_uart_t;
+
+void uart_enable(volatile struct cmsdk_uart_hw* ptr_uart);
+void uart_init(volatile struct cmsdk_uart_hw* ptr_uart);
+void uart_putc(volatile struct cmsdk_uart_hw* ptr_uart, int8_t c);
+
+#endif /* __CMSDK_UART_H_ */

src/platform/drivers/cmsdk_uart/objects.mk

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

src/platform/mps3-an536/inc/plat/platform.h

@@ -0,0 +1,11 @@
+/**
+ * SPDX-License-Identifier: Apache-2.0
+ * Copyright (c) Bao Project and Contributors. All rights reserved.
+ */
+
+#ifndef __PLAT_PLATFORM_H__
+#define __PLAT_PLATFORM_H__
+
+#include <drivers/cmsdk_uart.h>
+
+#endif

src/platform/mps3-an536/inc/plat/psci.h

@@ -0,0 +1,16 @@
+/**
+ * SPDX-License-Identifier: Apache-2.0
+ * Copyright (c) Bao Project and Contributors. All rights reserved.
+ */
+
+#ifndef __PLAT_PSCI_H__
+#define __PLAT_PSCI_H__
+
+#define PSCI_POWER_STATE_LVL_0    0x0000000   // TBD
+#define PSCI_POWER_STATE_LVL_1    0x1000000   // TBD
+#define PSCI_POWER_STATE_LVL_2    0x2000000   // TBD
+#define PSCI_STATE_TYPE_STANDBY   0x00000     // TBD
+#define PSCI_STATE_TYPE_POWERDOWN (0UL << 30) // TBD
+#define PSCI_STATE_TYPE_BIT       (0UL << 30) // TBD
+
+#endif                                        // __PLAT_PSCI_H__

src/platform/mps3-an536/mps3_desc.c

@@ -0,0 +1,34 @@
+/**
+ * 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[]) {
+        {
+            .base = 0x20000000,
+            .size = 0x80000000,
+        }
+    },
+
+    .console = {
+        .base = 0xE0205000,  // UART2
+    },
+
+    .arch = {
+        .gic = {
+            .gicd_addr = 0xF0000000,
+            .gicr_addr = 0xF0100000,
+            .maintenance_id = 25,
+        },
+    },
+
+};

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 = cmsdk_uart
+
+platform_description:=mps3_desc.c
+
+platform-cppflags =
+platform-cflags = -gdwarf-4
+platform-asflags =
+platform-ldflags =