3 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_LOG_BUF_SHIFT=14
7 CONFIG_BLK_DEV_INITRD=y
9 # CONFIG_EPOLL is not set
12 CONFIG_TOSHIBA_RBTX4927=y
13 # CONFIG_SECCOMP is not set
16 CONFIG_MODULE_UNLOAD=y
17 # CONFIG_BLK_DEV_BSG is not set
24 # CONFIG_IPV6 is not set
25 # CONFIG_WIRELESS is not set
27 CONFIG_MTD_CMDLINE_PARTS=y
31 CONFIG_MTD_JEDECPROBE=y
32 CONFIG_MTD_CFI_AMDSTD=y
33 CONFIG_MTD_COMPLEX_MAPPINGS=y
36 CONFIG_MTD_NAND_TXX9NDFMC=m
39 CONFIG_BLK_DEV_RAM_SIZE=8192
44 # CONFIG_WLAN is not set
45 # CONFIG_INPUT is not set
46 # CONFIG_SERIO is not set
47 # CONFIG_VT is not set
48 CONFIG_SERIAL_TXX9_CONSOLE=y
49 CONFIG_SERIAL_TXX9_STDSERIAL=y
51 # CONFIG_HWMON is not set
54 # CONFIG_VGA_ARB is not set
57 # CONFIG_SND_SUPPORT_OLD_API is not set
58 # CONFIG_SND_VERBOSE_PROCFS is not set
59 # CONFIG_SND_DRIVERS is not set
60 # CONFIG_SND_PCI is not set
61 # CONFIG_SND_SPI is not set
62 # CONFIG_SND_MIPS is not set
64 # CONFIG_USB_SUPPORT is not set
68 CONFIG_LEDS_TRIGGERS=y
69 CONFIG_LEDS_TRIGGER_DISK=y
70 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
72 CONFIG_RTC_INTF_DEV_UIE_EMUL=y
73 CONFIG_RTC_DRV_RS5C348=y
74 CONFIG_RTC_DRV_DS1742=y
77 # CONFIG_DNOTIFY is not set
79 CONFIG_TMPFS_POSIX_ACL=y
83 CONFIG_STRIP_ASM_SYMS=y