1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (C) 2022 Hewlett-Packard Enterprise Development Company, L.P. */
4 #include <linux/of_platform.h>
5 #include <asm/mach/arch.h>
7 static const char * const gxp_board_dt_compat[] = {
12 DT_MACHINE_START(GXP_DT, "HPE GXP")
13 .dt_compat = gxp_board_dt_compat,