extern void uart_init();
extern void uart_putc(unsigned char);
extern void uart_puts(unsigned char *);
+extern char uart_getc();
/* IVT.C */
extern void ivt_init();
/* MM.C */
extern void mm_init();
-extern void * mm_alloc(size_t);
+extern void * malloc(size_t);
extern void free(void *);
extern void test_memory(uint32_t *);
+/* POOL.c */
+extern void pool_init(size_t, unsigned int, uint32_t *);
+extern void * alloc();
+extern void free();
+
/* REGF.C */
extern void regw_u8(volatile uint32_t *, uint8_t, short, short);
extern void regw_u32(volatile uint32_t *, uint32_t, short, short);
+/* TERM.C */
+extern char getchar();
+extern void cputchar(char);
+extern void cputs(unsigned char *);
+extern char * readline();
+extern void terminal();
+
#endif