diff --git a/docs/porting.md b/docs/porting.md
index 5a97b3fb6..ae701a94b 100644
--- a/docs/porting.md
+++ b/docs/porting.md
@@ -44,7 +44,7 @@ One useful clock debugging technique is to set up a PWM output at a known value
 
 Setup your USB in a crystal-less mode when available. That makes the code easier to port across boards.
 
-#### board_led_control
+#### board_led_write
 Feel free to skip this until you want to verify your demo code is running. To implement, set the pin corresponding to the led to output a value that lights the LED when `state` is true.
 
 ### OS Abstraction Layer (OSAL)
diff --git a/examples/device/cdc_msc_hid/src/main.c b/examples/device/cdc_msc_hid/src/main.c
index 12e331af7..78e07910d 100644
--- a/examples/device/cdc_msc_hid/src/main.c
+++ b/examples/device/cdc_msc_hid/src/main.c
@@ -245,6 +245,6 @@ void led_blinking_task(void)
   if ( board_millis() < start_ms + blink_interval_ms) return; // not enough time
   start_ms += blink_interval_ms;
 
-  board_led_control(led_state);
+  board_led_write(led_state);
   led_state = 1 - led_state; // toggle
 }
diff --git a/examples/device/cdc_msc_hid_freertos/src/main.c b/examples/device/cdc_msc_hid_freertos/src/main.c
index e47937bd5..c4b970a81 100644
--- a/examples/device/cdc_msc_hid_freertos/src/main.c
+++ b/examples/device/cdc_msc_hid_freertos/src/main.c
@@ -230,6 +230,6 @@ void led_blinky_cb(TimerHandle_t xTimer)
   (void) xTimer;
   static bool led_state = false;
 
-  board_led_control(led_state);
+  board_led_write(led_state);
   led_state = 1 - led_state; // toggle
 }
diff --git a/examples/host/cdc_msc_hid/src/main.c b/examples/host/cdc_msc_hid/src/main.c
index 86ddb55e1..4f31c6d3f 100644
--- a/examples/host/cdc_msc_hid/src/main.c
+++ b/examples/host/cdc_msc_hid/src/main.c
@@ -173,7 +173,7 @@ void led_blinking_task(void)
   if ( board_millis() < start_ms + interval_ms) return; // not enough time
   start_ms += interval_ms;
 
-  board_led_control(led_state);
+  board_led_write(led_state);
   led_state = 1 - led_state; // toggle
 }
 
diff --git a/hw/bsp/board.h b/hw/bsp/board.h
index 7d12d68fb..896a14c0c 100644
--- a/hw/bsp/board.h
+++ b/hw/bsp/board.h
@@ -53,7 +53,7 @@
 void board_init(void);
 
 // Turn LED on or off
-void board_led_control(bool state);
+void board_led_write(bool state);
 
 // Get the current state of button
 // a '1' means active (pressed), a '0' means inactive.
@@ -87,12 +87,12 @@ int board_uart_write(void const * buf, int len);
 //--------------------------------------------------------------------+
 static inline void board_led_on(void)
 {
-  board_led_control(true);
+  board_led_write(true);
 }
 
 static inline void board_led_off(void)
 {
-  board_led_control(false);
+  board_led_write(false);
 }
 
 static inline int8_t board_uart_getchar(void)
diff --git a/hw/bsp/ea4088qs/board_ea4088qs.c b/hw/bsp/ea4088qs/board_ea4088qs.c
index 2d5110d25..bccdae0d6 100644
--- a/hw/bsp/ea4088qs/board_ea4088qs.c
+++ b/hw/bsp/ea4088qs/board_ea4088qs.c
@@ -114,7 +114,7 @@ void board_init(void)
 
 
 //------------- LED -------------//
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   Chip_GPIO_SetPinState(LPC_GPIO, LED_PORT, LED_PIN, state);
 }
diff --git a/hw/bsp/ea4357/board_ea4357.c b/hw/bsp/ea4357/board_ea4357.c
index 898ad38ad..f6287cd01 100644
--- a/hw/bsp/ea4357/board_ea4357.c
+++ b/hw/bsp/ea4357/board_ea4357.c
@@ -248,7 +248,7 @@ void board_init(void)
 }
 
 // LED
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   if (state)
   {
diff --git a/hw/bsp/lpcxpresso11u68/board_lpcxpresso11u68.c b/hw/bsp/lpcxpresso11u68/board_lpcxpresso11u68.c
index e1f1fd366..b491a040c 100644
--- a/hw/bsp/lpcxpresso11u68/board_lpcxpresso11u68.c
+++ b/hw/bsp/lpcxpresso11u68/board_lpcxpresso11u68.c
@@ -113,7 +113,7 @@ uint32_t board_millis(void)
 //--------------------------------------------------------------------+
 // LEDS
 //--------------------------------------------------------------------+
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   Chip_GPIO_SetPinState(LPC_GPIO, LED_PORT, LED_PIN, state ? LED_STATE_ON : (1-LED_STATE_ON));
 }
diff --git a/hw/bsp/lpcxpresso1347/board_lpcxpresso1347.c b/hw/bsp/lpcxpresso1347/board_lpcxpresso1347.c
index 70d41e547..e916ad977 100644
--- a/hw/bsp/lpcxpresso1347/board_lpcxpresso1347.c
+++ b/hw/bsp/lpcxpresso1347/board_lpcxpresso1347.c
@@ -126,7 +126,7 @@ uint32_t board_millis(void)
 //--------------------------------------------------------------------+
 // LEDS
 //--------------------------------------------------------------------+
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   Chip_GPIO_SetPinState(LPC_GPIO_PORT, LED_PORT, LED_PIN, state);
 }
diff --git a/hw/bsp/lpcxpresso1769/board_lpcxpresso1769.c b/hw/bsp/lpcxpresso1769/board_lpcxpresso1769.c
index 04ec13db0..06b6a243a 100644
--- a/hw/bsp/lpcxpresso1769/board_lpcxpresso1769.c
+++ b/hw/bsp/lpcxpresso1769/board_lpcxpresso1769.c
@@ -164,7 +164,7 @@ uint32_t board_millis(void)
 //--------------------------------------------------------------------+
 // LEDS
 //--------------------------------------------------------------------+
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   Chip_GPIO_SetPinState(LPC_GPIO, LED_PORT, LED_PIN, state);
 }
diff --git a/hw/bsp/mcb1800/board_mcb1800.c b/hw/bsp/mcb1800/board_mcb1800.c
index 90e705888..2b77098f7 100644
--- a/hw/bsp/mcb1800/board_mcb1800.c
+++ b/hw/bsp/mcb1800/board_mcb1800.c
@@ -178,7 +178,7 @@ void board_init(void)
 }
 
 //------------- LED -------------//
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   Chip_GPIO_SetPinState(LPC_GPIO_PORT, LED_PORT, LED_PIN, state);
 }
diff --git a/hw/bsp/metro_m0_express/board_metro_m0_express.c b/hw/bsp/metro_m0_express/board_metro_m0_express.c
index 8876b62bb..792ce138d 100644
--- a/hw/bsp/metro_m0_express/board_metro_m0_express.c
+++ b/hw/bsp/metro_m0_express/board_metro_m0_express.c
@@ -101,7 +101,7 @@ void board_init(void)
   _gclk_enable_channel(TCC0_GCLK_ID, GCLK_CLKCTRL_GEN_GCLK0_Val);
 }
 
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   gpio_set_pin_level(LED_PIN, state);
 }
diff --git a/hw/bsp/metro_m4_express/board_metro_m4_express.c b/hw/bsp/metro_m4_express/board_metro_m4_express.c
index aaaf7c483..c50b5c175 100644
--- a/hw/bsp/metro_m4_express/board_metro_m4_express.c
+++ b/hw/bsp/metro_m4_express/board_metro_m4_express.c
@@ -90,7 +90,7 @@ void board_init(void)
   gpio_set_pin_function(PIN_PA25, PINMUX_PA25H_USB_DP);
 }
 
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   gpio_set_pin_level(LED_PIN, state);
 }
diff --git a/hw/bsp/pca10056/board_pca10056.c b/hw/bsp/pca10056/board_pca10056.c
index 44a4cb450..bc0544064 100644
--- a/hw/bsp/pca10056/board_pca10056.c
+++ b/hw/bsp/pca10056/board_pca10056.c
@@ -78,7 +78,7 @@ void board_init(void)
 
   // LED
   nrf_gpio_cfg_output(LED_PIN);
-  board_led_control(false);
+  board_led_write(false);
 
   // Button
   nrf_gpio_cfg_input(BUTTON_PIN, NRF_GPIO_PIN_PULLUP);
@@ -126,7 +126,7 @@ void board_init(void)
   if ( usb_reg & POWER_USBREGSTATUS_OUTPUTRDY_Msk  ) tusb_hal_nrf_power_event(NRFX_POWER_USB_EVT_READY);
 }
 
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   nrf_gpio_pin_write(LED_PIN, state ? LED_STATE_ON : (1-LED_STATE_ON));
 }
diff --git a/hw/bsp/stm32f303disc/board_stm32f303disc.c b/hw/bsp/stm32f303disc/board_stm32f303disc.c
index e4afbf8ce..b29a0fcc7 100644
--- a/hw/bsp/stm32f303disc/board_stm32f303disc.c
+++ b/hw/bsp/stm32f303disc/board_stm32f303disc.c
@@ -92,7 +92,7 @@ void board_init(void)
 }
 
 
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   HAL_GPIO_WritePin(GPIOE, GPIO_PIN_9, state);
 }
diff --git a/hw/bsp/stm32f407g_disc1/board_stm32f407g_disc1.c b/hw/bsp/stm32f407g_disc1/board_stm32f407g_disc1.c
index 2622dde11..824a8da47 100644
--- a/hw/bsp/stm32f407g_disc1/board_stm32f407g_disc1.c
+++ b/hw/bsp/stm32f407g_disc1/board_stm32f407g_disc1.c
@@ -82,7 +82,7 @@ void board_init(void)
 }
 
 
-void board_led_control(bool state)
+void board_led_write(bool state)
 {
   if (!state) {
     GPIOD->BSRR = GPIO_BSRR_BR14;