extern unsigned short *memsetw(unsigned short *dest, unsigned short val, size_t count);
extern int strlen(const char *);
+/* CLOCK.C */
+extern void clock_init();
+
/* UART.C */
extern void uart_init();
extern void uart_putc(unsigned char);
/* SYSTICK.C */
extern void systick_init();
+/* SYSINFO.C */
+extern void sysinfo();
+
+/* LIB.C */
+extern void addrtohex(const uint32_t);
+
+/* MM.C */
+extern void mm_init();
+extern void * mm_alloc(size_t);
+extern void free(void *);
+extern void test_memory(uint32_t *);
+
#endif