debian/config/kernelarch-mips/config.mips64r2


1
2
3
4
5
6
7
8
9
10

##
## file: arch/mips/Kconfig
##
## choice: CPU type
CONFIG_CPU_MIPS64_R2=y
## end choice
## choice: Kernel code model
CONFIG_64BIT=y
## end choice