release/picobsd/help/kget.hlp.en

   1 \e[1mkget\e[m     Get list of kernel configuration.
   2
   3         This utility allows to gather device configuration which possibly
   4         was changed in userconfig (-c) session, and to save it to /kernel.config
   5         file on startup floppy, so that when user boots next time, the
   6         settings will automatically be changed.
   7
   8         Usage is straightforward:
   9
  10                 kget [-incore|kernel_name] [vanilla]
  11
  12         E.g.:   Get device configuration of running kernel
  13
  14                 kget -incore
  15
  16                 Produce list of parameters changed from /stand/vanilla
  17
  18                 kget -incore /stand/vanilla
  19
  20                 (You can redirect the stdout to /kernel.config - this list
  21                 already contains all the requires keywords.)