diff options
| author | Justin M. Forbes <jforbes@fedoraproject.org> | 2020-08-12 08:03:24 -0500 |
|---|---|---|
| committer | Justin M. Forbes <jforbes@fedoraproject.org> | 2020-08-12 08:03:24 -0500 |
| commit | 47a895f435cccb2cb14eb5d0c52d2f6d4d904907 (patch) | |
| tree | 628be9cf983bcdfedd940131f8f7187020cff5f2 /configs/fedora/generic/CONFIG_DEFAULT_INIT | |
| parent | 29d3f64f7e887d5cf9ae5f496febe5954fc49117 (diff) | |
| download | kernel-47a895f435cccb2cb14eb5d0c52d2f6d4d904907.tar.gz kernel-47a895f435cccb2cb14eb5d0c52d2f6d4d904907.tar.xz kernel-47a895f435cccb2cb14eb5d0c52d2f6d4d904907.zip | |
Linux v5.8.1
Signed-off-by: Justin M. Forbes <jforbes@fedoraproject.org>
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="" |