diff --git a/configs/sabre-6quad/src/imx_autoleds.c b/configs/sabre-6quad/src/imx_autoleds.c
index 7e6b69881e..7d9574a1cf 100644
--- a/configs/sabre-6quad/src/imx_autoleds.c
+++ b/configs/sabre-6quad/src/imx_autoleds.c
@@ -72,6 +72,7 @@
 #include <nuttx/board.h>
 #include <arch/board/board.h>
 
+#include "imx_gpio.h"
 #include "sabre-6quad.h"
 
 #ifdef CONFIG_ARCH_LEDS
@@ -79,10 +80,6 @@
 /****************************************************************************
  * Pre-processor Definitions
  ****************************************************************************/
-/* REVISIT:  There is no GPIO logic in place yet */
-#warning Missing logic
-#define imx_configgpio(a)
-#define imx_gpiowrite(a,b)
 
 /* CONFIG_DEBUG_LEDS enables debug output from this file (needs CONFIG_DEBUG
  * with CONFIG_DEBUG_VERBOSE too)
@@ -96,14 +93,6 @@
 #  define ledvdbg(x...)
 #endif
 
-/****************************************************************************
- * Private Data
- ****************************************************************************/
-
-/****************************************************************************
- * Private Functions
- ****************************************************************************/
-
 /****************************************************************************
  * Public Functions
  ****************************************************************************/
@@ -116,7 +105,7 @@ void board_autoled_initialize(void)
 {
   /* Configure LED PIOs for output */
 
-  imx_configgpio(GPIO_LED0);
+  imx_config_gpio(GPIO_LED0);
 }
 
 /****************************************************************************
diff --git a/configs/sabre-6quad/src/imx_userleds.c b/configs/sabre-6quad/src/imx_userleds.c
index 51980ccf0e..4a2e7f3f56 100644
--- a/configs/sabre-6quad/src/imx_userleds.c
+++ b/configs/sabre-6quad/src/imx_userleds.c
@@ -47,18 +47,6 @@
 
 #include "sabre-6quad.h"
 
-/****************************************************************************
- * Pre-processor Definitions
- ****************************************************************************/
-/* REVISIT:  There is no GPIO logic in place yet */
-#warning Missing logic
-#define imx_configgpio(a)
-#define imx_gpiowrite(a,b)
-
-/****************************************************************************
- * Private Functions
- ****************************************************************************/
-
 /****************************************************************************
  * Public Functions
  ****************************************************************************/
@@ -71,7 +59,7 @@ void board_userled_initialize(void)
 {
   /* Configure LED PIOs for output */
 
-  imx_configgpio(GPIO_LED0);
+  imx_config_gpio(GPIO_LED0);
 }
 
 /****************************************************************************
@@ -82,7 +70,7 @@ void board_userled(int led, bool ledon)
 {
   if (led == BOARD_LED0)
     {
-      imx_gpiowrite(GPIO_LED0, !ledon); /* Low illuminates */
+      imx_gpio_write(GPIO_LED0, !ledon); /* Low illuminates */
     }
 }
 
@@ -94,5 +82,5 @@ void board_userled_all(uint8_t ledset)
 {
   /* Low illuminates */
 
-  imx_gpiowrite(GPIO_LED0, (ledset & BOARD_LED0_BIT) == 0));
+  imx_gpio_write(GPIO_LED0, (ledset & BOARD_LED0_BIT) == 0));
 }
diff --git a/configs/sabre-6quad/src/sabre-6quad.h b/configs/sabre-6quad/src/sabre-6quad.h
index 5627a8ba4e..776f237691 100644
--- a/configs/sabre-6quad/src/sabre-6quad.h
+++ b/configs/sabre-6quad/src/sabre-6quad.h
@@ -51,6 +51,8 @@
 
 /* SABRE-6QUAD GPIO Pin Definitions *************************************************/
 
+#define GPIO_LED0 0 /* To be provided */
+
 /************************************************************************************
  * Public Types
  ************************************************************************************/