CONFIG_MACH_INGENIC is not available for thedefaultarchitecture x86.
Result is shown for architecture mips
Ingenic SoC based machines
modulename: board-ingenic.ko
configname: CONFIG_MACH_INGENIC
System type
└─>Ingenic SoC based machines
In linux kernel since version 3.10 (release Date: 2013-06-30)
selects
CONFIG_SYS_SUPPORTS_32BIT_KERNELCONFIG_SYS_SUPPORTS_LITTLE_ENDIAN
CONFIG_SYS_SUPPORTS_ZBOOT_UART16550
CONFIG_CPU_SUPPORTS_HUGEPAGES
CONFIG_DMA_NONCOHERENT
CONFIG_IRQ_MIPS_CPU
CONFIG_PINCTRL
CONFIG_GPIOLIB
CONFIG_COMMON_CLK
CONFIG_GENERIC_IRQ_CHIP
CONFIG_BUILTIN_DTB
CONFIG_USE_OF
CONFIG_LIBFDT
CONFIG_CPU_SUPPORTS_CPUFREQ
CONFIG_MIPS_EXTERNAL_TIMER