19540724cSLinus Walleij // SPDX-License-Identifier: GPL-2.0 29540724cSLinus Walleij /* 39540724cSLinus Walleij * IXP4xx Device Tree boot support 49540724cSLinus Walleij */ 59540724cSLinus Walleij #include <asm/mach/arch.h> 69540724cSLinus Walleij 79540724cSLinus Walleij /* 8*251e5d71SJulia Lawall * We handle 4 different SoC families. These compatible strings are enough 99540724cSLinus Walleij * to provide the core so that different boards can add their more detailed 109540724cSLinus Walleij * specifics. 119540724cSLinus Walleij */ 129540724cSLinus Walleij static const char *ixp4xx_of_board_compat[] = { 139540724cSLinus Walleij "intel,ixp42x", 149540724cSLinus Walleij "intel,ixp43x", 159540724cSLinus Walleij "intel,ixp45x", 169540724cSLinus Walleij "intel,ixp46x", 179540724cSLinus Walleij NULL, 189540724cSLinus Walleij }; 199540724cSLinus Walleij 209540724cSLinus Walleij DT_MACHINE_START(IXP4XX_DT, "IXP4xx (Device Tree)") 219540724cSLinus Walleij .dt_compat = ixp4xx_of_board_compat, 229540724cSLinus Walleij MACHINE_END 23