1CONFIG_NO_HZ=y
2CONFIG_HIGH_RES_TIMERS=y
3CONFIG_SYSFS_DEPRECATED=y
4CONFIG_SYSFS_DEPRECATED_V2=y
5CONFIG_BLK_DEV_INITRD=y
6CONFIG_KALLSYMS_ALL=y
7CONFIG_MODULES=y
8CONFIG_MODULE_UNLOAD=y
9# CONFIG_BLK_DEV_BSG is not set
10CONFIG_PARTITION_ADVANCED=y
11CONFIG_BSD_DISKLABEL=y
12CONFIG_SOLARIS_X86_PARTITION=y
13CONFIG_ARCH_S5PV210=y
14CONFIG_VMSPLIT_2G=y
15CONFIG_PREEMPT=y
16CONFIG_AEABI=y
17CONFIG_CMDLINE="root=/dev/ram0 rw ramdisk=8192 initrd=0x20800000,8M console=ttySAC1,115200 init=/linuxrc"
18CONFIG_VFP=y
19CONFIG_NEON=y
20CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
21CONFIG_BLK_DEV_LOOP=y
22CONFIG_BLK_DEV_RAM=y
23CONFIG_BLK_DEV_RAM_SIZE=8192
24CONFIG_SCSI=y
25CONFIG_BLK_DEV_SD=y
26CONFIG_CHR_DEV_SG=y
27CONFIG_INPUT_EVDEV=y
28# CONFIG_INPUT_KEYBOARD is not set
29# CONFIG_INPUT_MOUSE is not set
30CONFIG_INPUT_TOUCHSCREEN=y
31CONFIG_SERIAL_8250=y
32CONFIG_SERIAL_SAMSUNG=y
33CONFIG_SERIAL_SAMSUNG_CONSOLE=y
34CONFIG_HW_RANDOM=y
35# CONFIG_HWMON is not set
36# CONFIG_USB_SUPPORT is not set
37CONFIG_EXT2_FS=y
38CONFIG_MSDOS_FS=y
39CONFIG_VFAT_FS=y
40CONFIG_TMPFS=y
41CONFIG_TMPFS_POSIX_ACL=y
42CONFIG_CRAMFS=y
43CONFIG_ROMFS_FS=y
44CONFIG_NLS_CODEPAGE_437=y
45CONFIG_NLS_ASCII=y
46CONFIG_NLS_ISO8859_1=y
47CONFIG_DEBUG_INFO=y
48CONFIG_MAGIC_SYSRQ=y
49CONFIG_DEBUG_KERNEL=y
50# CONFIG_DEBUG_PREEMPT is not set
51CONFIG_DEBUG_RT_MUTEXES=y
52CONFIG_DEBUG_SPINLOCK=y
53CONFIG_DEBUG_MUTEXES=y
54CONFIG_DEBUG_ATOMIC_SLEEP=y
55CONFIG_DEBUG_USER=y
56CONFIG_DEBUG_LL=y
57CONFIG_DEBUG_S3C_UART1=y
58CONFIG_EARLY_PRINTK=y
59CONFIG_CRC_CCITT=y
60