Kerneloptionen suchen
Ein gewisser Frank Paulsen schrieb heute in de.comp.os.unix.linux.misc (Message-ID <gdrrol$86n$1@ebel.dfakt.de>):
in ‘make menuconfig’ kann man seit ein paar versionen mit ‘/’ nach optionen suchen.
Stimmt. Praktisch. Im Usenet lernt man jeden Tag was dazu.