user@instant-contiki:~/Desktop/RR/projects/hello-world$ make Makefile all
make: Nothing to be done for `Makefile'.
Building project hello-world for stm32f4discovery w/ MCU stm32f407vgt6.
make -C /home/user/Desktop/RR/projects/hello-world/../../thirdparty_boards
make[1]: Entering directory `/home/user/Desktop/RR/thirdparty_boards'
make -C stm32f4discovery
make[2]: Entering directory `/home/user/Desktop/RR/thirdparty_boards/stm32f4discovery'
make -C drivers
make[3]: Entering directory `/home/user/Desktop/RR/thirdparty_boards/stm32f4discovery/drivers'
make[3]: Leaving directory `/home/user/Desktop/RR/thirdparty_boards/stm32f4discovery/drivers'
make[2]: Leaving directory `/home/user/Desktop/RR/thirdparty_boards/stm32f4discovery'
make[1]: Leaving directory `/home/user/Desktop/RR/thirdparty_boards'
make -C /home/user/Desktop/RR/projects/hello-world/../../RIOT
make[1]: Entering directory `/home/user/Desktop/RR/RIOT'
mkdir -p /home/user/Desktop/RR/projects/hello-world/../../RIOT/bin/
make[2]: Entering directory `/home/user/Desktop/RR/RIOT/cpu'
make[2]: Nothing to be done for `cpus'.
make[2]: Leaving directory `/home/user/Desktop/RR/RIOT/cpu'
make[2]: Entering directory `/home/user/Desktop/RR/RIOT/core'
In file included from ../cpu/stm32f407vgt6/include/cpu.h:37:0,
                 from include/kernel.h:27,
                 from hwtimer.c:23:
../cpu/stm32f407vgt6/include/stm32f407vgt6.h:11:23: fatal error: stm32f4xx.h: No such file or directory
compilation terminated.
make[2]: *** [/home/user/Desktop/RR/projects/hello-world/../../RIOT/bin/hwtimer.o] Error 1
make[2]: Leaving directory `/home/user/Desktop/RR/RIOT/core'
make[2]: Entering directory `/home/user/Desktop/RR/RIOT/drivers'
make[2]: Leaving directory `/home/user/Desktop/RR/RIOT/drivers'
make[2]: Entering directory `/home/user/Desktop/RR/RIOT/sys'
In file included from ../cpu/stm32f407vgt6/include/cpu.h:37:0,
                 from ../core/include/kernel.h:27,
                 from ../core/include/thread.h:16,
                 from chardev_thread.c:1:
../cpu/stm32f407vgt6/include/stm32f407vgt6.h:11:23: fatal error: stm32f4xx.h: No such file or directory
compilation terminated.
make[2]: *** [/home/user/Desktop/RR/projects/hello-world/../../RIOT/bin/chardev_thread.o] Error 1
make[2]: Leaving directory `/home/user/Desktop/RR/RIOT/sys'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/user/Desktop/RR/RIOT'
make: *** [all] Error 2