Skip to content
Snippets Groups Projects
Select Git revision
  • 519a1dc746a116ba8fed05d1999c4802db2ab5ea
  • master default protected
  • klee-args
  • stable
4 results

src

Forked from Per Lindgren / cargo-klee
Source project has a limited visibility.
Name Last commit Last update
..
README.md
Trace.c
_write.c
debug.txt
dwt.c
main.c
stm32f4xx_it.c
swo.c
system_stm32f4xx.c
systick.h
tiny_printf.c
trace_impl.c
vector_init.c
README.md

#Minimal MCU init for STM32F407xx

Pretty much a copy/paste of the STM32F4-Discovery template from ST. It seems general for the MCU. However main.h/.c were renamed to mcu_init.h/.c, since it felt like a cleaner structure.

This whole directory will be compiled and linked to the application, that will typically invoke mcu_init() as its first invokation in main(). This directory will also belong to the include directories for the application.