// SPDX-License-Identifier: GPL-2.0 | |
/* | |
* Copyright (C) Maxime Coquelin 2015 | |
* Copyright (C) STMicroelectronics 2017 | |
* Author: Maxime Coquelin <mcoquelin.stm32@gmail.com> | |
*/ | |
#include <linux/kernel.h> | |
#include <asm/mach/arch.h> | |
#ifdef CONFIG_ARM_SINGLE_ARMV7M | |
#include <asm/v7m.h> | |
#endif | |
static const char *const stm32_compat[] __initconst = { | |
"st,stm32f429", | |
"st,stm32f469", | |
"st,stm32f746", | |
"st,stm32f769", | |
"st,stm32h743", | |
"st,stm32mp157", | |
NULL | |
}; | |
DT_MACHINE_START(STM32DT, "STM32 (Device Tree Support)") | |
.dt_compat = stm32_compat, | |
#ifdef CONFIG_ARM_SINGLE_ARMV7M | |
.restart = armv7m_restart, | |
#endif | |
MACHINE_END |