Use configuration file under /boot instead of /proc/config.gz

kern(1) has been using /proc/config.gz as the source of the currently
running kernel's config since its initial commit. Whilst this location
is convenient because of its static nature, it does need a specific
kernel option, IKCONFIG_PROC, to be set.

Furthermore, it introduces a dependency on gzip(1) to decompress the
file on the fly. Consequently, we need to stream gzip's output to
commands or save it in a temporary file to access it neatly.

Since Gentoo's default install script for the kernel, installkernel(8),
places each kernel's configuration file in /boot, we can use this
location to retrieve the currently running kernel's configuration
instead and work around all of the above limitations.

Of course we need to make sure that /boot is mounted before we try
accessing any configuration files on there. We use the already existing
code from install_kernel() for that.

1 files changed, 0 insertions, 2 deletions

diff --git a/TODO b/TODO
deleted file mode 100644
index 430f084..0000000
--- a/TODO
+++ /dev/null
@@ -1,2 +0,0 @@
-- Consider falling back to /boot/config-<kernel> if /proc/config.gz
-  does not exist