#include "task_port.h" void task_systick_init(void) { } void task_systick_irq(void) { task_systick_handler(); } void Idle(void) { }