#pragma once

//——————————————————————————————————————————————————————————————————————————————————————————————————————————————————————

#include <stdint.h>

//——————————————————————————————————————————————————————————————————————————————————————————————————————————————————————

uint32_t FlexBusMHZ (void) ;

uint32_t busMHZ (void) ;

uint32_t FlashKHz (void) ;

uint32_t microcontrollerSerialNumber (void) ;

//——————————————————————————————————————————————————————————————————————————————————————————————————————————————————————

void startPhase1 (void) asm ("start.phase1") ;

//——————————————————————————————————————————————————————————————————————————————————————————————————————————————————————

void startPhase2 (void) asm ("start.phase2") ;

//——————————————————————————————————————————————————————————————————————————————————————————————————————————————————————