4.13 が出たので.configがどう変更されるのか見てみた．2017/07/16 23:56 / Linux 4.12.0 -> 4.13-rc1 との差分のみ(ターゲットが異なって，こちらはより汎用指向の環境)．以下 - は削除されたもの，+ は追加されたもの m->n 等は値の変化を示す．
-
+CONFIG_ARCH_HAS_ZONE_DEVICE=ymm, x86: Add ARCH_HAS_ZONE_DEVICE to Kconfig
Selected by: X86 [=y] && X86_64 [=y] -
+CONFIG_MDIO_BUS=ynet: phy: rework Kconfig settings for MDIO_BUS
default m if PHYLIB=m default MDIO_DEVICEMDIO_DEVICE=y(Selected by: PHYLIB [=y] && NETDEVICES [=y]) のため y になっていた． -
+CONFIG_WATCHDOG_HANDLE_BOOT_ENABLED=ywatchdog: core: add option to avoid early handling of watchdog
default yy にしておく．
-
-CONFIG_SND_RAWMIDI_SEQ=m
+CONFIG_SND_SEQ_MIDI=mALSA: seq: Reorganize kconfig and build
Kconfig, Makefile が整理された模様．ほかにもdiffが出ていたが省略．
-
+CONFIG_WMI_BMOF=mplatform/x86: wmi-bmof: New driver to expose embedded Binary WMI MOF metadata
default ACPI_WMIACPI_WMI=m(ACPI-WMI (Windows Management Instrumentation) mapper device (PNP0C14)) だと default で m になる．必要かどうか不明だが m にしておく． -
+CONFIG_HARDLOCKUP_DETECTOR_PERF=y
+CONFIG_SOFTLOCKUP_DETECTOR=ykernel/watchdog: split up config options
DEBUG_KERNEL [=y]で select される．