diff options
author | Bastian Blank <waldi@debian.org> | 2013-09-10 20:21:27 +0000 |
---|---|---|
committer | Bastian Blank <waldi@debian.org> | 2013-09-10 20:21:27 +0000 |
commit | 12b7a6ff80392181930f3aee9704ee8f79910553 (patch) | |
tree | f6c47287e8580bd1a68d2cbc8f350c1f1503e27c /debian/config/mips | |
parent | 79b11873dc5e7b112e2ea781637e71da8ab5d47b (diff) | |
download | kernel_replicant_linux-12b7a6ff80392181930f3aee9704ee8f79910553.tar.gz kernel_replicant_linux-12b7a6ff80392181930f3aee9704ee8f79910553.tar.bz2 kernel_replicant_linux-12b7a6ff80392181930f3aee9704ee8f79910553.zip |
debian/config: Reorder config.
svn path=/dists/trunk/linux/; revision=20596
Diffstat (limited to 'debian/config/mips')
-rw-r--r-- | debian/config/mips/config.octeon | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/config/mips/config.octeon b/debian/config/mips/config.octeon index 4e583d078bbd..da9b9f1f93ee 100644 --- a/debian/config/mips/config.octeon +++ b/debian/config/mips/config.octeon @@ -1,7 +1,9 @@ ## ## file: arch/mips/Kconfig ## +## choice: System type CONFIG_CAVIUM_OCTEON_SOC=y +## end choice # CONFIG_HOTPLUG_CPU is not set ## choice: Kernel code model # CONFIG_32BIT is not set |