1 // SPDX-License-Identifier: GPL-2.0 1 2 /* 3 * IXP4xx Device Tree boot support 4 */ 5 #include <asm/mach/arch.h> 6 7 /* 8 * We handle 4 different SoC families. These c 9 * to provide the core so that different board 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 Tr 21 .dt_compat = ixp4xx_of_board_comp 22 MACHINE_END 23
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.