diff options
author | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-09-03 20:52:41 +0200 |
---|---|---|
committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-09-03 20:52:41 +0200 |
commit | f2ff4da695a03122362c7e8ae8fca5fb9e1ff1e2 (patch) | |
tree | effe3e2808cf4ed83fd289ad5443d01a9855b21d /configs/fedora/generic/CONFIG_DEFAULT_INIT | |
parent | 7a9a0a7371657cb81832bd547ceba9fe42b10a3e (diff) | |
parent | 6681bf218f9556b094e34f5f854b20d42d7e2e84 (diff) | |
download | kernel-f2ff4da695a03122362c7e8ae8fca5fb9e1ff1e2.tar.gz kernel-f2ff4da695a03122362c7e8ae8fca5fb9e1ff1e2.tar.xz kernel-f2ff4da695a03122362c7e8ae8fca5fb9e1ff1e2.zip |
merge originkernel-5.8.6-150.vanilla.knurd.1.fc31
Diffstat (limited to 'configs/fedora/generic/CONFIG_DEFAULT_INIT')
-rw-r--r-- | configs/fedora/generic/CONFIG_DEFAULT_INIT | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/configs/fedora/generic/CONFIG_DEFAULT_INIT b/configs/fedora/generic/CONFIG_DEFAULT_INIT new file mode 100644 index 000000000..e49f35c9c --- /dev/null +++ b/configs/fedora/generic/CONFIG_DEFAULT_INIT @@ -0,0 +1,18 @@ +# CONFIG_DEFAULT_INIT: +# +# This option determines the default init for the system if no init= +# option is passed on the kernel command line. If the requested path is +# not present, we will still then move on to attempting further +# locations (e.g. /sbin/init, etc). If this is empty, we will just use +# the fallback list when init= is not passed. +# +# Symbol: DEFAULT_INIT [=] +# Type : string +# Defined at init/Kconfig:267 +# Prompt: Default init path +# Location: +# -> General setup +# +# +# +CONFIG_DEFAULT_INIT="" |