1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * IXP4xx Device Tree boot support
4  */
5 #include <asm/mach/arch.h>
6 
7 /*
8  * We handle 4 different SoC families. These compatible strings are enough
9  * to provide the core so that different boards can add their more detailed
10  * specifics.
11  */
12 static const char *ixp4xx_of_board_compat[] = {
13 	"intel,ixp42x",
14 	"intel,ixp43x",
15 	"intel,ixp45x",
16 	"intel,ixp46x",
17 	NULL,
18 };
19 
20 DT_MACHINE_START(IXP4XX_DT, "IXP4xx (Device Tree)")
21 	.dt_compat	= ixp4xx_of_board_compat,
22 MACHINE_END
23