Patrick Delaunay 3419982bc3 stm32mp1: add bootcount support ... Activate bootcount and use TAMP register to store the count value. Signed-off-by: Patrick Delaunay <patrick.delaunay@st.com>		2019-05-23 11:36:47 +02:00
..
ddr.h	SPDX: Convert all of our multiple license tags to Linux Kernel style	2018-05-07 10:24:31 -04:00
gpio.h	gpio: stm32f7: Move STM32_GPIOS_PER_BANK into gpio.h	2018-12-07 08:13:47 -05:00
stm32.h	stm32mp1: add bootcount support	2019-05-23 11:36:47 +02:00
stm32mp1_smc.h	stm32mp1: bsec: access with SMC for trusted boot	2019-04-12 16:09:13 +02:00
sys_proto.h	stm32mp1: update print_cpuinfo()	2019-04-12 16:09:13 +02:00