treewide: enable the vDSO
authorRui Salvaterra <rsalvaterra@gmail.com>
Sun, 11 Oct 2020 18:35:30 +0000 (19:35 +0100)
committerHauke Mehrtens <hauke@hauke-m.de>
Tue, 13 Oct 2020 18:08:41 +0000 (20:08 +0200)
The vDSO is used to accelerate some syscalls. It should work fine wherever it's
available, so enable it globally for all targets.

Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com>
target/linux/generic/config-4.19
target/linux/generic/config-5.4
target/linux/ipq40xx/config-4.19
target/linux/ipq40xx/config-5.4
target/linux/ipq806x/config-4.19
target/linux/ipq806x/config-5.4
target/linux/layerscape/armv7/config-5.4
target/linux/sunxi/config-4.19
target/linux/sunxi/config-5.4
target/linux/tegra/config-4.19
target/linux/tegra/config-5.4

index 6f4478f18e1478e70d83fb42a7429a7818c6cc6e..bb7181a04147cc47ef8544131652cc722de40621 100644 (file)
@@ -5814,7 +5814,7 @@ CONFIG_USB_VIDEO_CLASS_INPUT_EVDEV=y
 # CONFIG_V4L_TEST_DRIVERS is not set
 # CONFIG_VBOXGUEST is not set
 # CONFIG_VCNL4000 is not set
-# CONFIG_VDSO is not set
+CONFIG_VDSO=y
 # CONFIG_VEML6070 is not set
 # CONFIG_VETH is not set
 # CONFIG_VEXPRESS_CONFIG is not set
index aa3fbded3ba46b4d1174be83acd26b9d10bb0ce9..04fda5de24607122cd5e7a0720a7887735399f4c 100644 (file)
@@ -6214,7 +6214,7 @@ CONFIG_USB_VIDEO_CLASS_INPUT_EVDEV=y
 # CONFIG_VBOXGUEST is not set
 # CONFIG_VCNL4000 is not set
 # CONFIG_VCNL4035 is not set
-# CONFIG_VDSO is not set
+CONFIG_VDSO=y
 # CONFIG_VEML6070 is not set
 # CONFIG_VETH is not set
 # CONFIG_VEXPRESS_CONFIG is not set
index c70c761d25c401b70e9ef0de0c15bc9cdcd8b000..0adcc253408c6179bae16330546026a8769d8f18 100644 (file)
@@ -497,7 +497,6 @@ CONFIG_USB=y
 CONFIG_USB_COMMON=y
 CONFIG_USB_SUPPORT=y
 CONFIG_USE_OF=y
-CONFIG_VDSO=y
 CONFIG_VFP=y
 CONFIG_VFPv3=y
 CONFIG_WATCHDOG_CORE=y
index 671f2b41f58100193b8d22032d93cb8792c7fc31..b442f73fbcfd56c1d3ce52abca7433563d8ae3cb 100644 (file)
@@ -523,7 +523,6 @@ CONFIG_USB=y
 CONFIG_USB_COMMON=y
 CONFIG_USB_SUPPORT=y
 CONFIG_USE_OF=y
-CONFIG_VDSO=y
 CONFIG_VFP=y
 CONFIG_VFPv3=y
 CONFIG_WATCHDOG_CORE=y
index f61883a6dbfd01861703b55e8a72049eaf0c455f..b21254ed087442d3b0b7b5c946f617f647731c23 100644 (file)
@@ -494,7 +494,6 @@ CONFIG_USB=y
 CONFIG_USB_COMMON=y
 CONFIG_USB_SUPPORT=y
 CONFIG_USE_OF=y
-CONFIG_VDSO=y
 CONFIG_VFP=y
 CONFIG_VFPv3=y
 CONFIG_WATCHDOG_CORE=y
index 568c5df39ed9815a63ca0ef736ff68719c323b1b..20870f75c0c99708b19c3da8cc04f64a0472eaec 100644 (file)
@@ -512,7 +512,6 @@ CONFIG_USB=y
 CONFIG_USB_COMMON=y
 CONFIG_USB_SUPPORT=y
 CONFIG_USE_OF=y
-CONFIG_VDSO=y
 CONFIG_VFP=y
 CONFIG_VFPv3=y
 CONFIG_WATCHDOG_CORE=y
index 3e242a2245cf4f4d20cbf7afb5ccb94fd5ff63c0..56a6dfd913b3f31187858afa05b4ffc1b699c60c 100644 (file)
@@ -746,7 +746,6 @@ CONFIG_USB_SUPPORT=y
 CONFIG_USER_NS=y
 CONFIG_USE_OF=y
 CONFIG_UTS_NS=y
-CONFIG_VDSO=y
 CONFIG_VEXPRESS_CONFIG=y
 CONFIG_VEXPRESS_SYSCFG=y
 CONFIG_VFAT_FS=y
index 1e2ba0520c1c0f73c41b35fbf477f3b0d638772a..c37457a78efee2d53b8fd43478d3a432a54b67ca 100644 (file)
@@ -581,7 +581,6 @@ CONFIG_USB_STORAGE=y
 CONFIG_USB_SUPPORT=y
 CONFIG_USERIO=y
 CONFIG_USE_OF=y
-CONFIG_VDSO=y
 CONFIG_VFAT_FS=y
 CONFIG_VFP=y
 CONFIG_VFPv3=y
index 41aca503b5930d311f3adb8296a51e76ed76d011..d34cb4c7ae09d347dc21dfe2972ae34855f7be0f 100644 (file)
@@ -567,7 +567,6 @@ CONFIG_USB_STORAGE=y
 CONFIG_USB_SUPPORT=y
 CONFIG_USERIO=y
 CONFIG_USE_OF=y
-CONFIG_VDSO=y
 CONFIG_VFAT_FS=y
 CONFIG_VFP=y
 CONFIG_VFPv3=y
index 20eead79cebb18c790e8347accda0e8f008faca1..c5a4c9941ddcc55114f89a5ca66a59e1411ff053 100644 (file)
@@ -539,7 +539,6 @@ CONFIG_USB_ULPI=y
 CONFIG_USB_ULPI_VIEWPORT=y
 # CONFIG_USERIO is not set
 CONFIG_USE_OF=y
-CONFIG_VDSO=y
 # CONFIG_VFIO is not set
 CONFIG_VFP=y
 CONFIG_VFPv3=y
index f6eef50e75fa51f3de84dafd8936591a548a994d..6bc96d13ce6b364599f1f6ea3bc5f8b0a19fef66 100644 (file)
@@ -554,7 +554,6 @@ CONFIG_USB_ULPI=y
 CONFIG_USB_ULPI_VIEWPORT=y
 # CONFIG_USERIO is not set
 CONFIG_USE_OF=y
-CONFIG_VDSO=y
 # CONFIG_VFIO is not set
 CONFIG_VFP=y
 CONFIG_VFPv3=y