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 = {
24 DT_MACHINE_START(STM32DT, "STM32 (Device Tree Support)")
25 .dt_compat = stm32_compat,
26 #ifdef CONFIG_ARM_SINGLE_ARMV7M
27 .restart = armv7m_restart,