| CONFIG_NO_HZ_IDLE=y |
| CONFIG_HIGH_RES_TIMERS=y |
| CONFIG_PREEMPT_VOLUNTARY=y |
| CONFIG_EMBEDDED=y |
| CONFIG_MACH_INGENIC=y |
| CONFIG_JZ4770_GCW0=y |
| CONFIG_HIGHMEM=y |
| # CONFIG_SECCOMP is not set |
| # CONFIG_SUSPEND is not set |
| # CONFIG_BLK_DEV_BSG is not set |
| # CONFIG_BOUNCE is not set |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_NETDEVICES=y |
| CONFIG_SERIAL_8250=y |
| # CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_8250_INGENIC=y |
| CONFIG_USB=y |
| CONFIG_USB_OHCI_HCD=y |
| CONFIG_USB_OHCI_HCD_PLATFORM=y |
| CONFIG_NOP_USB_XCEIV=y |
| CONFIG_TMPFS=y |
