#include "srv_cpu.h"
#include "srv_timer.h"
#include "srv_debug.h"
#include "conf_build.h"
void sistema_iniciar(void)
{
cpu_iniciar();
timer_iniciar();
debug_iniciar();
DEBUG("Hello, %s!\n", "HDL");
}
void sistema_controle(void)
{
cpu_controle();
timer_controle();
}
int main(void)
{
sistema_iniciar();
while(1){
sistema_controle();
}
return 0;
}