diff --git a/libraries/AP_Notify/AP_BoardLED.h b/libraries/AP_Notify/AP_BoardLED.h
index a1094ee6e4..3a368a388a 100644
--- a/libraries/AP_Notify/AP_BoardLED.h
+++ b/libraries/AP_Notify/AP_BoardLED.h
@@ -48,6 +48,12 @@
  # define HAL_GPIO_C_LED_PIN        13
  # define HAL_GPIO_LED_ON           LOW
  # define HAL_GPIO_LED_OFF          HIGH
+#elif CONFIG_HAL_BOARD_SUBTYPE == HAL_BOARD_SUBTYPE_LINUX_NAVIO
+ # define HAL_GPIO_A_LED_PIN        16
+ # define HAL_GPIO_B_LED_PIN        16
+ # define HAL_GPIO_C_LED_PIN        16
+ # define HAL_GPIO_LED_ON           LOW
+ # define HAL_GPIO_LED_OFF          HIGH
 #elif CONFIG_HAL_BOARD == HAL_BOARD_LINUX || CONFIG_HAL_BOARD == HAL_BOARD_AVR_SITL
  # define HAL_GPIO_A_LED_PIN        61
  # define HAL_GPIO_B_LED_PIN        48
@@ -69,7 +75,7 @@ class AP_BoardLED
 public:
     // initialise the LED driver
     void init(void);
-    
+
     // should be called at 50Hz
     void update(void);