diff options
| author | Thorsten Leemhuis <fedora@leemhuis.info> | 2021-03-17 19:39:07 +0100 |
|---|---|---|
| committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2021-03-17 19:39:07 +0100 |
| commit | 121cdd55fe1d658ea2a9cad2ed8eb6ae22ed785d (patch) | |
| tree | 09aca67d95f46d2d6312807b723864452dc37b98 /configs/fedora/generic/CONFIG_DEFAULT_INIT | |
| parent | 9d53a3102caf03deb8e8328dd586708b5328b853 (diff) | |
| parent | c7a5157d4de03982fcd2e3cd1f035858153ab349 (diff) | |
| download | kernel-121cdd55fe1d658ea2a9cad2ed8eb6ae22ed785d.tar.gz kernel-121cdd55fe1d658ea2a9cad2ed8eb6ae22ed785d.tar.xz kernel-121cdd55fe1d658ea2a9cad2ed8eb6ae22ed785d.zip | |
merge origin/f32kernel-5.11.7-150.vanilla.1.fc32
Diffstat (limited to 'configs/fedora/generic/CONFIG_DEFAULT_INIT')
| -rw-r--r-- | configs/fedora/generic/CONFIG_DEFAULT_INIT | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/configs/fedora/generic/CONFIG_DEFAULT_INIT b/configs/fedora/generic/CONFIG_DEFAULT_INIT deleted file mode 100644 index e49f35c9c..000000000 --- a/configs/fedora/generic/CONFIG_DEFAULT_INIT +++ /dev/null @@ -1,18 +0,0 @@ -# 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="" |