1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (c) 2018 Nuvoton Technology corporation.
3 // Copyright 2018 Google, Inc.
5 #include <linux/kernel.h>
6 #include <linux/types.h>
7 #include <asm/mach/arch.h>
8 #include <asm/mach-types.h>
9 #include <asm/mach/map.h>
10 #include <asm/hardware/cache-l2x0.h>
12 static const char *const npcm7xx_dt_match
[] = {
17 DT_MACHINE_START(NPCM7XX_DT
, "NPCM7XX Chip family")
19 .dt_compat
= npcm7xx_dt_match
,