board-dt.c

 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
14static 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
30DT_MACHINE_START(STM32DT, "STM32 (Device Tree Support)")
31	.dt_compat = stm32_compat,
32#ifdef CONFIG_ARM_SINGLE_ARMV7M
33	.restart = armv7m_restart,
34#endif
35MACHINE_END