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>
# 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
# 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
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
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
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
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
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
CONFIG_USB_SUPPORT=y
CONFIG_USERIO=y
CONFIG_USE_OF=y
-CONFIG_VDSO=y
CONFIG_VFAT_FS=y
CONFIG_VFP=y
CONFIG_VFPv3=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
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
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