#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;
}