CONFIG_MACH_VR41XX=y

  CONFIG_TANBAC_TB0219=y

  CONFIG_EXPERIMENTAL=y

  CONFIG_SYSVIPC=y

  CONFIG_LOG_BUF_SHIFT=14

  CONFIG_SYSFS_DEPRECATED_V2=y

  # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set

  CONFIG_EXPERT=y

  # CONFIG_PCSPKR_PLATFORM is not set

  CONFIG_SLAB=y

  CONFIG_MODULES=y
  CONFIG_MODULE_UNLOAD=y

  CONFIG_MODULE_FORCE_UNLOAD=y

  CONFIG_MODVERSIONS=y
  CONFIG_MODULE_SRCVERSION_ALL=y

  # CONFIG_BLK_DEV_BSG is not set

  CONFIG_NET=y

  CONFIG_PACKET=y

  CONFIG_UNIX=y

  CONFIG_INET=y
  CONFIG_IP_MULTICAST=y
  CONFIG_IP_ADVANCED_ROUTER=y

  CONFIG_IP_MULTIPLE_TABLES=y
  CONFIG_IP_ROUTE_MULTIPATH=y

  CONFIG_IP_ROUTE_VERBOSE=y
  CONFIG_IP_PNP=y

  CONFIG_IP_PNP_BOOTP=y

  CONFIG_NET_IPIP=m
  CONFIG_NET_IPGRE=m

  CONFIG_SYN_COOKIES=y

  # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
  # CONFIG_INET_XFRM_MODE_TUNNEL is not set
  # CONFIG_INET_XFRM_MODE_BEET is not set

  # CONFIG_INET_LRO is not set

  # CONFIG_IPV6 is not set

  CONFIG_NETWORK_SECMARK=y

  CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"

  CONFIG_FW_LOADER=m

  CONFIG_BLK_DEV_LOOP=m

  CONFIG_BLK_DEV_NBD=m

  CONFIG_BLK_DEV_RAM=y

  CONFIG_BLK_DEV_XIP=y

  # CONFIG_MISC_DEVICES is not set

  CONFIG_NETDEVICES=y

  CONFIG_PHYLIB=m

  CONFIG_MARVELL_PHY=m
  CONFIG_DAVICOM_PHY=m
  CONFIG_QSEMI_PHY=m
  CONFIG_LXT_PHY=m
  CONFIG_CICADA_PHY=m

  CONFIG_VITESSE_PHY=m
  CONFIG_SMSC_PHY=m

  CONFIG_NET_ETHERNET=y

  CONFIG_NET_PCI=y

  CONFIG_8139TOO=y

  CONFIG_VIA_RHINE=y
  CONFIG_VIA_RHINE_MMIO=y

  CONFIG_R8169=y

  CONFIG_VIA_VELOCITY=y

  # CONFIG_NETDEV_10000 is not set

  # CONFIG_INPUT_MOUSEDEV is not set

  # CONFIG_INPUT_KEYBOARD is not set
  # CONFIG_INPUT_MOUSE is not set

  # CONFIG_SERIO is not set

  CONFIG_VT_HW_CONSOLE_BINDING=y

  # CONFIG_DEVKMEM is not set

  CONFIG_SERIAL_VR41XX=y
  CONFIG_SERIAL_VR41XX_CONSOLE=y

  # CONFIG_HW_RANDOM is not set

  CONFIG_GPIO_TB0219=y

  # CONFIG_HWMON is not set

  # CONFIG_VGA_CONSOLE is not set

  # CONFIG_HID_SUPPORT is not set

  CONFIG_USB=m

  CONFIG_USB_DEVICEFS=y

  CONFIG_USB_MON=m

  CONFIG_USB_EHCI_HCD=m

  # CONFIG_USB_EHCI_TT_NEWSCHED is not set

  CONFIG_USB_OHCI_HCD=m

  CONFIG_RTC_CLASS=y

  CONFIG_RTC_DRV_VR41XX=y

  CONFIG_EXT2_FS=y

  CONFIG_EXT3_FS=y

  CONFIG_AUTOFS4_FS=y

  CONFIG_PROC_KCORE=y

  CONFIG_TMPFS=y

  CONFIG_TMPFS_POSIX_ACL=y

  CONFIG_CRAMFS=m

  CONFIG_ROMFS_FS=m

  CONFIG_NFS_FS=y
  CONFIG_NFS_V3=y

  CONFIG_ROOT_NFS=y

  CONFIG_NFSD=y
  CONFIG_NFSD_V3=y

  CONFIG_SYSCTL_SYSCALL_CHECK=y

  CONFIG_CMDLINE_BOOL=y

  CONFIG_CMDLINE="cca=3 mem=64M console=ttyVR0,115200 ip=any root=/dev/nfs"