kernelconfig_penguin
CONFIG_SOC_DRA7XX is not available for the default architecture x86.
Result is shown for architecture arm

TI DRA7XX

modulename: omap4-restart.ko

and/or

powerdomains7xx_data.ko

and/or

clockdomains7xx_data.ko

and/or

omap_hwmod_7xx_data.ko
configname: CONFIG_SOC_DRA7XX

Linux Kernel Configuration
└─> TI OMAP/AM/DM/DRA Family
└─> TI DRA7XX


source code:


arch/arm/mach-omap2/omap4-restart.c