add sleep

main.cc

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