kernelconfig_penguin
CONFIG_40x is not available for the default architecture x86.
Result is shown for architecture powerpc

AMCC 40x

modulename: 40x_mmu.ko
configname: CONFIG_40x

Processor Type
└─> AMCC 40x


source code:


arch/powerpc/mm/40x_mmu.c