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