Ben Hutchings 4efb39cf9d debian/config: Clean up with the help of kconfigeditor2 ... On x86, CONFIG_HOTPLUG_CPU can no longer be set explicitly but always follows CONFIG_SMP.		2019-04-21 00:11:56 +01:00
..
config	debian/config: Clean up with the help of kconfigeditor2	2019-04-21 00:11:56 +01:00