Yeet

system.c

@@ -5,7 +5,7 @@
 volatile uint64_t ticks;
 
 __attribute__((interrupt)) void sys_tick_handler(void);
-void sys_tick_handler(void) { ticks++; }
+void                            sys_tick_handler(void) { ticks++; }
 
 uint64_t sys_ticks_get(void) { return ticks; }
 

system.h

@@ -1,7 +1,6 @@
 #pragma once
 #include <stdint.h>
 
-// void     sys_tick_handler(void);
 uint64_t sys_get_ticks(void);
 void     sys_tick_setup(void);
 uint64_t sys_ticks_get(void);