1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (C) Maxime Coquelin 2015
4 * Copyright (C) STMicroelectronics 2017
5 * Author: Maxime Coquelin <mcoquelin.stm32@gmail.com>
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 = {
25 DT_MACHINE_START(STM32DT, "STM32 (Device Tree Support)")
26 .dt_compat = stm32_compat,
27 #ifdef CONFIG_ARM_SINGLE_ARMV7M
28 .restart = armv7m_restart,