diff --git a/libraries/AP_HAL/HAL.h b/libraries/AP_HAL/HAL.h
index a7e517f2b5..2af620eeee 100644
--- a/libraries/AP_HAL/HAL.h
+++ b/libraries/AP_HAL/HAL.h
@@ -19,6 +19,7 @@ public:
         AP_HAL::UARTDriver* _uartC, // telem1
         AP_HAL::UARTDriver* _uartD, // telem2
         AP_HAL::UARTDriver* _uartE, // 2nd GPS
+        AP_HAL::UARTDriver* _uartF, // extra1
         AP_HAL::I2CDeviceManager* _i2c_mgr,
         AP_HAL::I2CDriver*  _i2c0,
         AP_HAL::I2CDriver*  _i2c1,
@@ -39,6 +40,7 @@ public:
         uartC(_uartC),
         uartD(_uartD),
         uartE(_uartE),
+        uartF(_uartF),
         i2c_mgr(_i2c_mgr),
         i2c(_i2c0),
         i2c1(_i2c1),
@@ -80,6 +82,7 @@ public:
     AP_HAL::UARTDriver* uartC;
     AP_HAL::UARTDriver* uartD;
     AP_HAL::UARTDriver* uartE;
+    AP_HAL::UARTDriver* uartF;
     AP_HAL::I2CDeviceManager* i2c_mgr;
     AP_HAL::I2CDriver*  i2c;
     AP_HAL::I2CDriver*  i2c1;