TencentOS-tiny/arch/risc-v/spike/gcc/riscv_port_c.c

#include "tos.h"

__PORT__ void port_cpu_init() {
    // DO NOTHING
}

__PORT__ void port_systick_priority_set(uint32_t priority) {
    // DO NOTHING
}