CONFIG_UX500_SOC_DB8500 is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
DB8500
modulename: db8500-cpufreq.ko
and/orcpu-db8500.ko
configname: CONFIG_UX500_SOC_DB8500
Linux Kernel Configuration
└─>Ux500 SoC
└─>DB8500
In linux kernel since version 2.6.35 (release Date: 2010-08-01)
source code:
selects
CONFIG_MFD_DB8500_PRCMUCONFIG_REGULATOR_DB8500_PRCMU
CONFIG_PINCTRL_DB8500
CONFIG_PINCTRL_DB8540
CONFIG_PINCTRL_AB8500
CONFIG_PINCTRL_AB8505
CONFIG_PINCTRL_AB9540
CONFIG_PINCTRL_AB8540
CONFIG_CLKSRC_DBX500_PRCMU
CONFIG_PM_GENERIC_DOMAINS