kernelconfig_penguin
CONFIG_ARCH_S5PC100 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_S5PC100.
Result is shown for kernelversion 3.9.9

Samsung S5PC100

configname: CONFIG_ARCH_S5PC100

ARM system type
└─> Samsung S5PC100

Samsung S5PC100 series based systems