altos: Add generic LED driver.

[fw/altos] / src / stm32f4-disco / Makefile

diff --git a/src/stm32f4-disco/Makefile b/src/stm32f4-disco/Makefile
index 2d912b226fe1d47bcd151990723008b7b82991db..c970b879ccc96a7b69e62798cd67b505589d8c88 100644 (file)
--- a/src/stm32f4-disco/Makefile
+++ b/src/stm32f4-disco/Makefile
@@ -3,7 +3,10 @@ include ../stm32f4/Makefile-raw.defs
 ALTOS_SRC = \
        ao_interrupt.c \
        ao_panic.c \
-       ao_timer.c
+       ao_timer.c \
+       ao_led.c \
+       ao_task.c \
+       ao_stdio.c
 
 CFLAGS = $(STM32F4_CFLAGS)