2 CONFIG_HIGH_RES_TIMERS=y
3 CONFIG_BLK_DEV_INITRD=y
7 CONFIG_PARTITION_ADVANCED=y
8 CONFIG_CMDLINE_PARTITION=y
17 CONFIG_ARM_APPENDED_DTB=y
18 CONFIG_ARM_ATAG_DTB_COMPAT=y
20 CONFIG_ARM_ATAG_DTB_COMPAT_CMDLINE_FROM_BOOTLOADER=y
29 CONFIG_DEVTMPFS_MOUNT=y
32 CONFIG_SATA_AHCI_PLATFORM=y
37 CONFIG_SERIAL_8250_DEPRECATED_OPTIONS=y
38 CONFIG_SERIAL_8250_CONSOLE=y
39 CONFIG_SERIAL_8250_NR_UARTS=2
40 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
41 CONFIG_SERIAL_8250_DW=y
42 CONFIG_SERIAL_AMBA_PL011=y
43 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
44 CONFIG_SERIAL_OF_PLATFORM=y
45 CONFIG_I2C_DESIGNWARE_PLATFORM=y
48 CONFIG_PINCTRL_SINGLE=y
52 CONFIG_GPIO_GENERIC_PLATFORM=y
53 CONFIG_REGULATOR_GPIO=y
56 CONFIG_POWER_RESET_SYSCON=y
63 CONFIG_USB_EHCI_HCD_PLATFORM=y
65 CONFIG_USB_OHCI_HCD_PLATFORM=y
67 CONFIG_NOP_USB_XCEIV=y
72 CONFIG_RTC_DRV_PL031=y
77 CONFIG_PHY_HIX5HD2_SATA=y
86 CONFIG_NLS_CODEPAGE_437=y
87 CONFIG_NLS_ISO8859_1=y
89 CONFIG_LOCKUP_DETECTOR=y