1 2 3 4 5 6 7 8 9
## ## file: arch/mips/Kconfig ## ## choice: CPU type CONFIG_CPU_MIPS64_R6=y ## end choice ## choice: Kernel code model CONFIG_64BIT=y ## end choice