Quelle  board-dt.c   Sprache: C

// 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,stm32h747",
 "st,stm32h750",
 "st,stm32mp131",
 "st,stm32mp133",
 "st,stm32mp135",
 "st,stm32mp151",
 "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