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_MEDIA_SUPPORT_FILTER | |
| 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_MEDIA_SUPPORT_FILTER')
| -rw-r--r-- | configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER b/configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER new file mode 100644 index 000000000..6cd0717b2 --- /dev/null +++ b/configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER @@ -0,0 +1,25 @@ +# CONFIG_MEDIA_SUPPORT_FILTER: +# +# Configuring the media subsystem can be complex, as there are +# hundreds of drivers and other config options. +# +# This menu offers option that will help the Kernel's config +# system to hide drivers that are out of the scope of the +# user needs, and disabling core support for unused APIs. +# +# If not selected, all non-optional media core functionality +# needed to support media drivers will be enabled. Also, all +# media device drivers should be shown. +# +# Symbol: MEDIA_SUPPORT_FILTER [=y] +# Type : bool +# Defined at drivers/media/Kconfig:25 +# Prompt: Filter media drivers +# Depends on: MEDIA_SUPPORT [=m] +# Location: +# -> Device Drivers +# -> Multimedia support (MEDIA_SUPPORT [=m]) +# +# +# +CONFIG_MEDIA_SUPPORT_FILTER=y |