Improvements commited 2 months later (I really should leave notes for myself)

app/main.c

@@ -24,7 +24,6 @@ static void gpio_irq(uint gpio, uint32_t events)
 int main(void)
 {
 	// The here order is important because it determines callback call order
-
 	usb_init();
 
 #ifndef NDEBUG
@@ -53,9 +52,7 @@ int main(void)
 #endif
 
 	while (true) {
-		keyboard_task();
-
-//		tud_task();
+		__wfe();
 	}
 
 	return 0;