1# SPDX-License-Identifier: GPL-2.0 2if MACH_LOONGSON32 3 4choice 5 prompt "Machine Type" 6 7config LOONGSON1_LS1B 8 bool "Loongson LS1B board" 9 select CEVT_R4K if !MIPS_EXTERNAL_TIMER 10 select CSRC_R4K if !MIPS_EXTERNAL_TIMER 11 select SYS_HAS_CPU_LOONGSON1B 12 select DMA_NONCOHERENT 13 select BOOT_ELF32 14 select IRQ_MIPS_CPU 15 select SYS_SUPPORTS_32BIT_KERNEL 16 select SYS_SUPPORTS_LITTLE_ENDIAN 17 select SYS_SUPPORTS_HIGHMEM 18 select SYS_HAS_EARLY_PRINTK 19 select USE_GENERIC_EARLY_PRINTK_8250 20 select COMMON_CLK 21 22config LOONGSON1_LS1C 23 bool "Loongson LS1C board" 24 select CEVT_R4K if !MIPS_EXTERNAL_TIMER 25 select CSRC_R4K if !MIPS_EXTERNAL_TIMER 26 select SYS_HAS_CPU_LOONGSON1C 27 select DMA_NONCOHERENT 28 select BOOT_ELF32 29 select IRQ_MIPS_CPU 30 select SYS_SUPPORTS_32BIT_KERNEL 31 select SYS_SUPPORTS_LITTLE_ENDIAN 32 select SYS_SUPPORTS_HIGHMEM 33 select SYS_HAS_EARLY_PRINTK 34 select USE_GENERIC_EARLY_PRINTK_8250 35 select COMMON_CLK 36endchoice 37 38endif # MACH_LOONGSON32 39