1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * Copyright (C) Maxime Coquelin 2015 4 * Copyright (C) STMicroelectronics 2017 5 * Author: Maxime Coquelin <mcoquelin.stm32@gmail.com> 6 */ 7 8 #include <linux/kernel.h> 9 #include <asm/mach/arch.h> 10 #ifdef CONFIG_ARM_SINGLE_ARMV7M 11 #include <asm/v7m.h> 12 #endif 13 14 static const char *const stm32_compat[] __initconst = { 15 "st,stm32f429", 16 "st,stm32f469", 17 "st,stm32f746", 18 "st,stm32f769", 19 "st,stm32h743", 20 "st,stm32h750", 21 "st,stm32mp131", 22 "st,stm32mp133", 23 "st,stm32mp135", 24 "st,stm32mp157", 25 NULL 26 }; 27 28 DT_MACHINE_START(STM32DT, "STM32 (Device Tree Support)") 29 .dt_compat = stm32_compat, 30 #ifdef CONFIG_ARM_SINGLE_ARMV7M 31 .restart = armv7m_restart, 32 #endif 33 MACHINE_END 34