| CONFIG_44x=y |
| CONFIG_SYSVIPC=y |
| CONFIG_POSIX_MQUEUE=y |
| CONFIG_SLAB=y |
| CONFIG_MODULES=y |
| CONFIG_MODULE_UNLOAD=y |
| CONFIG_MODULE_FORCE_UNLOAD=y |
| # CONFIG_EBONY is not set |
| CONFIG_XILINX_VIRTEX440_GENERIC_BOARD=y |
| CONFIG_MATH_EMULATION=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_BLK_DEV_LOOP=y |
| CONFIG_BLK_DEV_RAM=y |
| CONFIG_BLK_DEV_RAM_SIZE=8192 |
| CONFIG_XILINX_SYSACE=y |
| CONFIG_NETDEVICES=y |
| CONFIG_SERIO_XILINX_XPS_PS2=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_UARTLITE=y |
| CONFIG_SERIAL_UARTLITE_CONSOLE=y |
| CONFIG_SERIAL_OF_PLATFORM=y |
| CONFIG_XILINX_HWICAP=y |
| CONFIG_GPIOLIB=y |
| CONFIG_GPIO_SYSFS=y |
| CONFIG_GPIO_XILINX=y |
| CONFIG_FB=y |
| CONFIG_FB_XILINX=y |
| CONFIG_FRAMEBUFFER_CONSOLE=y |
| CONFIG_EXT4_FS=y |
| CONFIG_AUTOFS4_FS=y |
| CONFIG_VFAT_FS=y |
| CONFIG_TMPFS=y |
