diff options
| author | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-08-27 06:00:48 +0200 |
|---|---|---|
| committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-08-27 06:00:48 +0200 |
| commit | e21addedc45543075a08e41ec9f737c2642ec117 (patch) | |
| tree | 9abf42b856fe76b5dd47fde8086e206cea2b1e35 /configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER | |
| parent | 7c4a6bcef44e10150e40409c0e46f2aeb4504c0b (diff) | |
| parent | f96c39f21373fa19f795a45724c92b515124b0c7 (diff) | |
| download | kernel-e21addedc45543075a08e41ec9f737c2642ec117.tar.gz kernel-e21addedc45543075a08e41ec9f737c2642ec117.tar.xz kernel-e21addedc45543075a08e41ec9f737c2642ec117.zip | |
merge origin (rebase to 5.8)kernel-5.8.4-250.vanilla.knurd.1.fc32
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 |