1 // SPDX-License-Identifier: GPL-2.0-only
2 /*
3  * Copyright (C) 2015 ARM Limited
4  *
5  * Author: Vladimir Murzin <vladimir.murzin@arm.com>
6  */
7 
8 #include <asm/mach/arch.h>
9 
10 static const char *const mps2_compat[] __initconst = {
11 	"arm,mps2",
12 	NULL
13 };
14 
15 DT_MACHINE_START(MPS2DT, "MPS2 (Device Tree Support)")
16 	.dt_compat = mps2_compat,
17 MACHINE_END
18