#include "tos.h"

__PORT__ void port_cpu_init() {
    // DO NOTHING
}

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