| # CONFIG_PACKET is not set |
| CONFIG_ARCH_HIP04=y |
| CONFIG_SMP=y |
| CONFIG_NR_CPUS=16 |
| CONFIG_PREEMPT=y |
| CONFIG_ARM_APPENDED_DTB=y |
| CONFIG_ARM_ATAG_DTB_COMPAT=y |
| CONFIG_ARM_ATAG_DTB_COMPAT_CMDLINE_FROM_BOOTLOADER=y |
| CONFIG_HIGHMEM=y |
| CONFIG_VFP=y |
| CONFIG_NEON=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_DEVTMPFS_MOUNT=y |
| CONFIG_BLK_DEV=y |
| CONFIG_BLK_DEV_LOOP=y |
| CONFIG_BLK_DEV_LOOP_MIN_COUNT=8 |
| CONFIG_BLK_DEV_RAM=y |
| CONFIG_BLK_DEV_RAM_COUNT=16 |
| CONFIG_BLK_DEV_RAM_SIZE=4096 |
| CONFIG_BLK_DEV_SD=y |
| CONFIG_ATA=y |
| CONFIG_SATA_AHCI_PLATFORM=y |
| CONFIG_NETDEVICES=y |
| CONFIG_HIP04_ETH=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_8250_NR_UARTS=2 |
| CONFIG_SERIAL_8250_RUNTIME_UARTS=2 |
| CONFIG_SERIAL_8250_DW=y |
| CONFIG_SERIAL_OF_PLATFORM=y |
| CONFIG_I2C_DESIGNWARE_PLATFORM=y |
| CONFIG_PINCTRL_SINGLE=y |
| CONFIG_GPIO_GENERIC_PLATFORM=y |
| CONFIG_RTC_CLASS=y |
| CONFIG_EXT4_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_NFS_FS=y |
| CONFIG_NFS_V2=y |
| CONFIG_NFS_V3_ACL=y |
| CONFIG_NFS_V4=y |
| CONFIG_ROOT_NFS=y |
| CONFIG_PRINTK_TIME=y |
| CONFIG_DEBUG_FS=y |
| CONFIG_DEBUG_KERNEL=y |
| CONFIG_DEBUG_LL=y |
| CONFIG_DEBUG_UART_8250=y |
| CONFIG_EARLY_PRINTK=y |
| CONFIG_LOCKUP_DETECTOR=y |
| CONFIG_DEBUG_USER=y |
| # CONFIG_GATOR is not set |
