1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (C) 2022 Hewlett-Packard Enterprise Development Company, L.P. */
3 
4 #include <linux/of_platform.h>
5 #include <asm/mach/arch.h>
6 
7 static const char * const gxp_board_dt_compat[] = {
8 	"hpe,gxp",
9 	NULL,
10 };
11 
12 DT_MACHINE_START(GXP_DT, "HPE GXP")
13 	.dt_compat	= gxp_board_dt_compat,
14 	.l2c_aux_val = 0,
15 	.l2c_aux_mask = ~0,
16 MACHINE_END
17