diff --git a/core/dev/leds.h b/core/dev/leds.h
index 1417cbc66..4b4ced6c8 100644
--- a/core/dev/leds.h
+++ b/core/dev/leds.h
@@ -47,6 +47,9 @@
 #ifndef __LEDS_H__
 #define __LEDS_H__
 
+/* Allow platform to override LED numbering */
+#include "contiki-conf.h"
+
 void leds_init(void);
 
 /**