Remove most of main() to really only use irqs

main.c

@@ -118,6 +118,8 @@ void tim6_isr (void) {
 int main (void) {
 	setup();
 
+	while (true) __asm ("wfi");
+#ifdef NOT_ACTUALLY_DEFINED
 	// Array of what leds should be on
 	uint16_t states[4] = {0, 0, GPIO8, GPIO8};
 	char state = 0;
@@ -136,6 +138,7 @@ int main (void) {
 		gpio_set(GPIOC, states[state]);
 		gpio_clear(GPIOC, (GPIO8) ^ states[state]);
 	}
+#endif
 	return 0;
 }