main.cc

@@ -1,5 +1,4 @@
 #include <hardware/irq.h>
-#include <pico/time.h>
 #include <sys/types.h>
 #include <stdbool.h>
 #include <stdint.h>
@@ -62,7 +61,6 @@ void core1_main(void) {
 	while (1) {
 		update_buttons();
 		update_inputs();
-		sleep_ms(1);
 	}
 }