On Mon, Jun 26, 2017 at 11:27:46AM +0200, Dr. Nikolaus Klepp wrote:
> Well, it's not. Try for yourself:
>
> # echo "/some/binary" > /proc/sys/kernel/hotplug
> bash: /proc/sys/kernel/hotplug: No such file or directory

It's been deprecated for three ages and two forevers, so it's not surprising
it's not compiled in.

> /proc/config.gz is gone for ages, too. It' now a textfile /boot/config-*,
> which may or may not represent the current kernel config.

Recompile with CONFIG_IKCONFIG_PROC. This is not done in Debian's kernels
as using packages means the text file won't come out of sync with its kernel
(both are versioned); they're in the same directory so even fancy mounts
won't put them apart. Using a text file is better than /proc as you can
obtain the config of a non-running kernel.


Meow!
--
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ A dumb species has no way to open a tuna can.
⢿⡄⠘⠷⠚⠋⠀ A smart species invents a can opener.
⠈⠳⣄⠀⠀⠀⠀ A master species delegates.