diff --git a/ports/raspberrypi/boards/jpconstantineau_pykey60/board.c b/ports/raspberrypi/boards/jpconstantineau_pykey60/board.c
index c24864c493..e4e5a8bc57 100644
--- a/ports/raspberrypi/boards/jpconstantineau_pykey60/board.c
+++ b/ports/raspberrypi/boards/jpconstantineau_pykey60/board.c
@@ -25,6 +25,9 @@
  */
 
 #include "supervisor/board.h"
+#include "shared-bindings/microcontroller/Pin.h"
+#include "src/rp2_common/hardware_gpio/include/hardware/gpio.h"
+#include "supervisor/shared/board.h"
 
 void board_init(void) {
 }