Debian / Linux カーネル作成時のカーネルオプション

カーネル コンフィグに使用した設定は

/boot/config-`uname -r`

に置かれている。

今使っているDebian/GNU Linux - Stretch だと、

$ cat /boot/config-`uname -r`
#
# Automatically generated file; DO NOT EDIT.
# Linux/x86 4.9.110 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_X86=y
CONFIG_INSTRUCTION_DECODER=y
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
CONFIG_LOCKDEP_SUPPORT=y
CONFIG_STACKTRACE_SUPPORT=y
CONFIG_MMU=y
...

な感じ。

試しに、ユーザー空間 (user namespaces)のコンフィグ オプションを見てみると、

$ grep -i config_user_ns config-`uname -r`
CONFIG_USER_NS=y

ついでに設定項目がいくつあるんだろ？ ざーっとですが、stableとbackportsを比べてみると、

$ wc -l config-4.9.0-8-amd64
7929 config-4.9.0-8-amd64  ←全行数
$ grep -v "^#" config-4.9.0-8-amd64 | wc -l
5408                                  ←コメントアウトを除いた行数

$ wc -l config-4.18.0-0.bpo.1-amd64
8515 config-4.18.0-0.bpo.1-amd64
$ grep -v "^#" config-4.18.0-0.bpo.1-amd64 | wc -l
5656

増えとる。