1# SPDX-License-Identifier: GPL-2.0-only 2if ARCH_IXP4XX 3 4menu "Intel IXP4xx Implementation Options" 5 6comment "IXP4xx Platforms" 7 8config MACH_IXP4XX_OF 9 bool 10 prompt "Device Tree IXP4xx boards" 11 default y 12 select ARM_APPENDED_DTB # Old Redboot bootloaders deployed 13 select I2C 14 select I2C_IOP3XX 15 select PCI 16 select USE_OF 17 help 18 Say 'Y' here to support Device Tree-based IXP4xx platforms. 19 20config ARCH_PRPMC1100 21 bool "PrPMC1100" 22 help 23 Say 'Y' here if you want your kernel to support the Motorola 24 PrPCM1100 Processor Mezanine Module. For more information on 25 this platform, see <file:Documentation/arm/ixp4xx.rst>. 26 27endmenu 28 29endif 30