feat(platform/imx8mp-verdin): add platform

Signed-off-by: David Cerdeira <[email protected]>

src/platform/imx8mp-verdin/imx8m.c

@@ -0,0 +1,24 @@
+#include <plat.h>
+#include <imx_uart.h>
+
+volatile struct imx_uart * const uart = UART_ADDR;
+
+void uart_init(){
+   imx_uart_init(uart);
+}
+
+void uart_putc(char c){
+    imx_uart_putc(uart, c);
+}
+
+char uart_getchar(){
+    return imx_uart_getchar(uart);
+}
+
+void uart_enable_rxirq(){
+    imx_uart_enable_rxirq(uart);
+}
+
+void uart_clear_rxirq(){
+    imx_uart_clear_rxirq(uart);
+}

src/platform/imx8mp-verdin/inc/plat.h

@@ -0,0 +1,13 @@
+#ifndef PLAT_H
+#define PLAT_H
+
+#define PLAT_MEM_BASE 0x80200000
+#define PLAT_MEM_SIZE 0x8000000
+
+#define PLAT_GICD_BASE_ADDR (0x38800000)
+#define PLAT_GICR_BASE_ADDR (0x38880000)
+
+#define PLAT_UART_ADDR (0x30880000UL)
+#define UART_IRQ_ID (60)
+
+#endif

src/platform/imx8mp-verdin/plat.mk

@@ -0,0 +1,3 @@
+ARCH:=armv8
+GIC_VERSION:=GICV3
+drivers:=imx_uart

src/platform/imx8mp-verdin/sources.mk

@@ -0,0 +1,2 @@
+plat_c_srcs:=imx8m.c
+plat_s_srcs:=