spl: stm32f7: add kernel boot support
[platform/kernel/u-boot.git] / arch / arm / mach-stm32 / stm32f7 /
drwxr-xr-x   ..
-rw-r--r-- 126 Kconfig
-rw-r--r-- 130 Makefile
-rw-r--r-- 919 soc.c
-rw-r--r-- 2384 timer.c