#ifndef STARTUP_H
#define STARTUP_H

#include <stdint.h>

// from bootloader
extern uint32_t SystemCoreClock;

#endif // STARTUP_H