1 // SPDX-License-Identifier: GPL-2.0
3 * IXP4xx Device Tree boot support
5 #include <asm/mach/arch.h>
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
12 static const char *ixp4xx_of_board_compat[] = {
20 DT_MACHINE_START(IXP4XX_DT, "IXP4xx (Device Tree)")
21 .dt_compat = ixp4xx_of_board_compat,