detach risc-v kernel code from gd32v lib

2019-10-02 16:41:23 +08:00
parent 25f2aeef9e
commit 3ef8f4eae5
3 changed files with 8 additions and 5 deletions
--- a/arch/risc-v/rv32i/gcc/port_c.c
+++ b/arch/risc-v/rv32i/gcc/port_c.c
@@ -1,5 +1,4 @@
 #include <tos.h>
-#include "riscv_encoding.h"
 #include "riscv_port.h"

 __PORT__ void port_systick_config(uint32_t cycle_per_tick)