summaryrefslogtreecommitdiffstats
path: root/release/picobsd/help/kget.hlp.en
blob: 632c807940ff37767f91d1b79ec224af603a547d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
kget	Get list of kernel configuration.

	This utility allows to gather device configuration which possibly
	was changed in userconfig (-c) session, and to save it to /kernel.config
	file on startup floppy, so that when user boots next time, the
	settings will automatically be changed.

	Usage is straightforward:

		kget [-incore|kernel_name] [vanilla]

	E.g.:	Get device configuration of running kernel

		kget -incore

		Produce list of parameters changed from /stand/vanilla

		kget -incore /stand/vanilla

		(You can redirect the stdout to /kernel.config - this list
		already contains all the requires keywords.)
OpenPOWER on IntegriCloud