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 */
12static const char *ixp4xx_of_board_compat[] = {
13 "intel,ixp42x",
14 "intel,ixp43x",
15 "intel,ixp45x",
16 "intel,ixp46x",
17 NULL,
18};
19
20DT_MACHINE_START(IXP4XX_DT, "IXP4xx (Device Tree)")
21 .dt_compat = ixp4xx_of_board_compat,
22MACHINE_END
23

source code of linux/arch/arm/mach-ixp4xx/ixp4xx-of.c