diff --git a/src/drivers/boards/px4nucleoF767ZI-v1/board_config.h b/src/drivers/boards/px4nucleoF767ZI-v1/board_config.h
index 6c455845b4..0732fb048b 100644
--- a/src/drivers/boards/px4nucleoF767ZI-v1/board_config.h
+++ b/src/drivers/boards/px4nucleoF767ZI-v1/board_config.h
@@ -79,6 +79,11 @@ __BEGIN_DECLS
 #define GPIO_LED_GREEN 	GPIO_LED2
 #define GPIO_LED_BLUE   GPIO_LED3
 
+#define BOARD_HAS_CONTROL_STATUS_LEDS 1
+#define BOARD_OVERLOAD_LED     LED_RED
+#define BOARD_ARMED_LED        LED_BLUE
+#define BOARD_ARMED_STATE_LED  LED_GREEN
+
 /*  Define the Chip Selects */
 
 #define GPIO_SPI_CS_MPU9250     /* PF2[CN11-52]  */ (GPIO_OUTPUT|GPIO_PUSHPULL|GPIO_SPEED_2MHz|GPIO_OUTPUT_SET|GPIO_PORTF|GPIO_PIN2)