turn on led red without default libraries (for learning purpose) on stm32f407 discovery 1 - start openocd with 'make openocd', edit Makefile's openocd configuration file first 2 - build with 'make' 3 - upload with 'make upload'