/* $Revision: 1.2 $ */

#include "common.h"
#include "cpu.h"
#include "kern.h"
#include "sem.h"
#include "shell.h"
#include "stdio.h"
#include "lcd.h"

extern int timer_ticks, timer_secs;
void mem_init() ;
void trap_init() ;
void tty_init() ;
void timer_init() ;
void enable_intrs() ;

void init(void)
{
  mem_init();
  trap_init();
  kstdio_init();
  stdio_init();
  tty_init();
  timer_init();
  init_task_list() ;
  kern_init();
  enable_intrs();
#ifdef MV134_TIMER_TEST
  /* for testing only, XXX */
  timer_test_init();
#endif
  /* gdb_init(); XXX if enabled never returns */
  shell_init();
}