kernelconfig_penguin
CONFIG_ARCH_MARCO is not available for the default architecture x86.
Result is shown for architecture arm
default or selected kernelversion does not have config value CONFIG_ARCH_MARCO.
Result is shown for kernelversion 3.9.9

CSR SiRFSoC MARCO ARM Cortex A9 Platform

modulename: timer-marco.ko
configname: CONFIG_ARCH_MARCO

Linux Kernel Configuration
└─> CSR SiRF primaII/Marco/Polo Specific Features
└─> CSR SiRFSoC MARCO ARM Cortex A9 Platform

Support for CSR SiRFSoC ARM Cortex A9 Platform


source code:


arch/arm/mach-prima2/timer-marco.c