#pragma once

#include <stdint.h>

extern uint32_t __freq_cpu;
typedef uint8_t cpustate_t;