5 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_SYSFS_DEPRECATED_V2=y
7 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
9 # CONFIG_PCSPKR_PLATFORM is not set
12 CONFIG_MODULE_UNLOAD=y
13 CONFIG_MODULE_FORCE_UNLOAD=y
15 CONFIG_MODULE_SRCVERSION_ALL=y
16 # CONFIG_BLK_DEV_BSG is not set
22 CONFIG_IP_ADVANCED_ROUTER=y
23 CONFIG_IP_MULTIPLE_TABLES=y
24 CONFIG_IP_ROUTE_MULTIPATH=y
25 CONFIG_IP_ROUTE_VERBOSE=y
31 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
32 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
33 # CONFIG_INET_XFRM_MODE_BEET is not set
34 # CONFIG_INET_LRO is not set
35 # CONFIG_IPV6 is not set
36 CONFIG_NETWORK_SECMARK=y
37 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
43 # CONFIG_MISC_DEVICES is not set
57 CONFIG_VIA_RHINE_MMIO=y
60 # CONFIG_NETDEV_10000 is not set
61 # CONFIG_INPUT_MOUSEDEV is not set
62 # CONFIG_INPUT_KEYBOARD is not set
63 # CONFIG_INPUT_MOUSE is not set
64 # CONFIG_SERIO is not set
65 CONFIG_VT_HW_CONSOLE_BINDING=y
66 # CONFIG_DEVKMEM is not set
67 CONFIG_SERIAL_VR41XX=y
68 CONFIG_SERIAL_VR41XX_CONSOLE=y
69 # CONFIG_HW_RANDOM is not set
71 # CONFIG_HWMON is not set
72 # CONFIG_VGA_CONSOLE is not set
73 # CONFIG_HID_SUPPORT is not set
77 # CONFIG_USB_EHCI_TT_NEWSCHED is not set
80 CONFIG_RTC_DRV_VR41XX=y
86 CONFIG_TMPFS_POSIX_ACL=y
94 CONFIG_SYSCTL_SYSCALL_CHECK=y
96 CONFIG_CMDLINE="cca=3 mem=64M console=ttyVR0,115200 ip=any root=/dev/nfs"