2 CONFIG_BLK_DEV_INITRD=y
6 # CONFIG_BLK_DEV_BSG is not set
8 CONFIG_S3C_LOWLEVEL_UART_PORT=1
10 CONFIG_MACH_ARMLEX4210=y
11 CONFIG_MACH_UNIVERSAL_C210=y
14 CONFIG_MACH_SMDK4412=y
16 CONFIG_HIGH_RES_TIMERS=y
21 CONFIG_CMDLINE="root=/dev/ram0 rw ramdisk=8192 initrd=0x41000000,8M console=ttySAC1,115200 init=/linuxrc mem=256M"
24 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
27 CONFIG_BLK_DEV_RAM_SIZE=8192
32 # CONFIG_INPUT_KEYBOARD is not set
33 # CONFIG_INPUT_MOUSE is not set
34 CONFIG_INPUT_TOUCHSCREEN=y
36 CONFIG_SERIAL_SAMSUNG=y
37 CONFIG_SERIAL_SAMSUNG_CONSOLE=y
40 # CONFIG_HWMON is not set
41 # CONFIG_MFD_SUPPORT is not set
42 # CONFIG_HID_SUPPORT is not set
43 # CONFIG_USB_SUPPORT is not set
48 CONFIG_TMPFS_POSIX_ACL=y
51 CONFIG_PARTITION_ADVANCED=y
52 CONFIG_BSD_DISKLABEL=y
53 CONFIG_SOLARIS_X86_PARTITION=y
54 CONFIG_NLS_CODEPAGE_437=y
56 CONFIG_NLS_ISO8859_1=y
59 CONFIG_DETECT_HUNG_TASK=y
60 CONFIG_DEBUG_RT_MUTEXES=y
61 CONFIG_DEBUG_SPINLOCK=y
62 CONFIG_DEBUG_MUTEXES=y
64 CONFIG_SYSCTL_SYSCALL_CHECK=y