diff options
author | Thorsten Leemhuis <fedora@leemhuis.info> | 2021-03-07 13:25:32 +0100 |
---|---|---|
committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2021-03-07 13:32:55 +0100 |
commit | fb72952d5b63e40f63bfa1e3a5bce2262c424197 (patch) | |
tree | d1a9bf30437653b57b398fd3b4f3fb4897ca29cd /configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER | |
parent | b9488a288ec844af97a516ac9ffe441221f6e67d (diff) | |
parent | 3422e04a2e31dba3e17af206f160d4fc409f4250 (diff) | |
download | kernel-fb72952d5b63e40f63bfa1e3a5bce2262c424197.tar.gz kernel-fb72952d5b63e40f63bfa1e3a5bce2262c424197.tar.xz kernel-fb72952d5b63e40f63bfa1e3a5bce2262c424197.zip |
:merge origin/stabilization and update to 5.10.4kernel-5.11.4-125.vanilla.1.fc33kernel-5.11.4-125.vanilla.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, 0 insertions, 25 deletions
diff --git a/configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER b/configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER deleted file mode 100644 index 6cd0717b2..000000000 --- a/configs/fedora/generic/CONFIG_MEDIA_SUPPORT_FILTER +++ /dev/null @@ -1,25 +0,0 @@ -# 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 |