// 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 [31mCONFIG_ARM_SINGLE_ARMV7M[0m #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 [31mCONFIG_ARM_SINGLE_ARMV7M[0m .restart = armv7m_restart, #endif MACHINE_END |