feat/demo imx8mp verdin

src/arch/riscv/port.c

@@ -35,6 +35,8 @@
 #include "task.h"
 #include "portmacro.h"
 #include <csrs.h>
+#include <sbi.h>
+#include <timer.h>
 
 /* Standard includes. */
 #include "string.h"
@@ -223,3 +225,7 @@ void freertos_risc_v_application_interrupt_handler( void ) {
     extern void plic_handle();
     plic_handle();
 }
+
+void riscv_timer_interrupt_handler( void ) {
+    timer_set(uxTimerIncrementsForOneTick);
+}

src/arch/riscv/portASM.S

@@ -384,15 +384,7 @@ handle_interrupt:
         addi t1, t0, 5					/* 0x8000[]0005 == sueprvisor timer interrupt. */
         bne a0, t1, application_interrupt_handler
 
-    csrr t1, time
-    ld a0, uxTimerIncrementsForOneTick 
-#define SBI_EXTID_TIME (0x54494D45)
-#define SBI_SET_TIMER_FID (0x0)
-    /* ecall to sbi_set_timer */
-    add a0, a0, t1
-    li a6, SBI_SET_TIMER_FID
-    li a7, SBI_EXTID_TIME
-    ecall
+    jal riscv_timer_interrupt_handler
 
     jal xTaskIncrementTick
     beqz a0, processed_source		/* Don't switch context if incrementing tick didn't unblock a task. */