5 extern void clock_init();
8 extern void ivt_init();
9 extern void ivt_set_gate(unsigned char, void *(), short);
12 extern void systick_init();
15 extern void sysinfo();
17 /* MM.C DELETE TODO */
18 //extern void mm_init();
19 //extern void * malloc(size_t);
20 //extern void free(void *);
21 //extern void test_memory(uint32_t *);
24 extern void pool_init(size_t, unsigned int, uint32_t *);
25 extern void * alloc();
29 extern void terminal();