#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
-#include <stm32.h>
-#include <mmap.h>
+
+#include <sys/robsys.h>
+#include <sys/mmap.h>
+
+#include <lib/regfunc.h> // TODO
struct interrupt_frame {
void * systick_handler(/* struct interrupt_frame * frame */) {
// uint32_t volatile status;
- uart_puts("TICKING\n");
+ //uart_puts("TICKING\n");
// for(;;);
}