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
,