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 | |