6 * Board specific clock settings. These boards often come with two
7 * external oscillators: one high speed (8MHz) and one low speed (~30kHz).
8 * These values are used throughout the code to calculator desired baud
14 //efine CLKSPEED_MHZ 72
15 extern void clock_init();
16 extern int clock_test();
17 // extern void clock_reset();
20 extern void ivt_init();
21 extern void ivt_set_gate(unsigned char, void *(), short);
24 extern void systick_init();
27 extern void sysinfo();
30 extern void pool_init(size_t, unsigned int, uint32_t *);
31 extern void * alloc();
35 extern void terminal();