diff --git a/port/stm32-f4discovery-cc256x/port/port.c b/port/stm32-f4discovery-cc256x/port/port.c
index 6c535490a..1a70e9c6f 100644
--- a/port/stm32-f4discovery-cc256x/port/port.c
+++ b/port/stm32-f4discovery-cc256x/port/port.c
@@ -250,6 +250,13 @@ ssize_t _read(int fd, void * buf, size_t count){
     return -1;
 }
 
+// TODO: control LED instead of printing its state
+void hal_led_toggle(void){
+    static bool led_state = false;
+    led_state = !led_state;
+    printf("LED State %u\n", led_state);
+}
+
 // main.c
 static void packet_handler (uint8_t packet_type, uint16_t channel, uint8_t *packet, uint16_t size){
     UNUSED(size);