CONFIG_PLAT_S5P is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CONFIG_PLAT_S5P (not configurable)
configname: CONFIG_PLAT_S5P
Linux Kernel Configuration
└─>PLAT_S5P
In linux kernel since version 2.6.34 (release Date: 2010-05-16)
Base platform code for Samsung's S5P series SoC.
selects
CONFIG_ARM_VICCONFIG_ARM_GIC
CONFIG_NO_IOPORT
CONFIG_ARCH_REQUIRE_GPIOLIB
CONFIG_S3C_GPIO_TRACK
CONFIG_S5P_GPIO_DRVSTR
CONFIG_SAMSUNG_GPIOLIB_4BIT
CONFIG_S3C_GPIO_CFG_S3C64XX
CONFIG_S3C_GPIO_PULL_UPDOWN
CONFIG_S3C_GPIO_CFG_S3C24XX
CONFIG_PLAT_SAMSUNG
CONFIG_SAMSUNG_CLKSRC
CONFIG_SAMSUNG_IRQ_VIC_TIMER
CONFIG_SAMSUNG_IRQ_UART