1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (C) Maxime Coquelin 2015
4 * Copyright (C) STMicroelectronics 2017
8 #include <linux/kernel.h>
9 #include <asm/mach/arch.h>
10 #ifdef CONFIG_ARM_SINGLE_ARMV7M
14 static const char *const stm32_compat[] __initconst = {
28 DT_MACHINE_START(STM32DT, "STM32 (Device Tree Support)")
29 .dt_compat = stm32_compat,
30 #ifdef CONFIG_ARM_SINGLE_ARMV7M
31 .restart = armv7m_restart,