3 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_LOG_BUF_SHIFT=14
7 CONFIG_BLK_DEV_INITRD=y
9 # CONFIG_EPOLL is not set
11 CONFIG_TOSHIBA_RBTX4927=y
12 # CONFIG_SECCOMP is not set
15 CONFIG_MODULE_UNLOAD=y
16 # CONFIG_BLK_DEV_BSG is not set
23 # CONFIG_IPV6 is not set
24 # CONFIG_WIRELESS is not set
26 CONFIG_MTD_CMDLINE_PARTS=y
30 CONFIG_MTD_JEDECPROBE=y
31 CONFIG_MTD_CFI_AMDSTD=y
32 CONFIG_MTD_COMPLEX_MAPPINGS=y
35 CONFIG_MTD_NAND_TXX9NDFMC=m
38 CONFIG_BLK_DEV_RAM_SIZE=8192
43 # CONFIG_WLAN is not set
44 # CONFIG_INPUT is not set
45 # CONFIG_SERIO is not set
46 # CONFIG_VT is not set
47 CONFIG_SERIAL_TXX9_CONSOLE=y
48 CONFIG_SERIAL_TXX9_STDSERIAL=y
50 # CONFIG_HWMON is not set
53 # CONFIG_VGA_ARB is not set
56 # CONFIG_SND_SUPPORT_OLD_API is not set
57 # CONFIG_SND_VERBOSE_PROCFS is not set
58 # CONFIG_SND_DRIVERS is not set
59 # CONFIG_SND_PCI is not set
60 # CONFIG_SND_SPI is not set
61 # CONFIG_SND_MIPS is not set
63 # CONFIG_USB_SUPPORT is not set
67 CONFIG_LEDS_TRIGGERS=y
68 CONFIG_LEDS_TRIGGER_DISK=y
69 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
71 CONFIG_RTC_INTF_DEV_UIE_EMUL=y
72 CONFIG_RTC_DRV_RS5C348=y
73 CONFIG_RTC_DRV_DS1742=y
76 # CONFIG_DNOTIFY is not set
78 CONFIG_TMPFS_POSIX_ACL=y
82 CONFIG_STRIP_ASM_SYMS=y