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,stm32h747",
21 	"st,stm32h750",
22 	"st,stm32mp131",
23 	"st,stm32mp133",
24 	"st,stm32mp135",
25 	"st,stm32mp151",
26 	"st,stm32mp157",
27 	NULL
28 };
29 
30 DT_MACHINE_START(STM32DT, "STM32 (Device Tree Support)")
31 	.dt_compat = stm32_compat,
32 #ifdef CONFIG_ARM_SINGLE_ARMV7M
33 	.restart = armv7m_restart,
34 #endif
35 MACHINE_END
36