#include "sdk.hpp"

#include "project_configs.h"


void sdkinit() {
  zlog_init(&PC_DEBUG_UART);
  zusdelay_init(&PC_SYS_DELAY_US_TIMER);
}