| CONFIG_ARM=y |
| CONFIG_ARCH_MESON=y |
| CONFIG_SYS_TEXT_BASE=0x00000000 |
| CONFIG_MESON_S4=y |
| CONFIG_PXP_EMULATOR=y |
| CONFIG_AML_TSENSOR=y |
| CONFIG_AML_TSENSOR_COOL=y |
| CONFIG_BL30_SELECT="s4_skt" |
| # CONFIG_AML_REBOOT is not set |
| CONFIG_DEBUG_UART_BASE=0xfe07a000 |
| CONFIG_DEBUG_UART_CLOCK=24000000 |
| CONFIG_DEBUG_UART=y |
| CONFIG_OF_BOARD_SETUP=y |
| CONFIG_BOOTCOMMAND="echo bootcmd" |
| CONFIG_BOARD_LATE_INIT=y |
| # CONFIG_DISPLAY_CPUINFO is not set |
| # CONFIG_DISPLAY_BOARDINFO is not set |
| CONFIG_SYS_PROMPT="s4_pxp# " |
| # CONFIG_CMD_BDI is not set |
| # CONFIG_CMD_DSPSET is not set |
| # CONFIG_CMD_IMI is not set |
| CONFIG_CMD_CLKMSR=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| # CONFIG_CMD_LOADB is not set |
| # CONFIG_CMD_LOADS is not set |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_MTD=y |
| CONFIG_AML_STORAGE=y |
| # CONFIG_CMD_PINMUX is not set |
| CONFIG_CMD_USB=y |
| # CONFIG_CMD_ITEST is not set |
| # CONFIG_CMD_SETEXPR is not set |
| # CONFIG_CMD_NET is not set |
| CONFIG_CMD_BMP=y |
| # CONFIG_CMD_MISC is not set |
| CONFIG_CMD_MTDPARTS=y |
| # CONFIG_CMD_DDR_TEST is not set |
| # CONFIG_CMD_OS_IDENT is not set |
| # CONFIG_AML_ROBUST is not set |
| CONFIG_CMD_WATCHDOG=y |
| CONFIG_CMD_JTAG=y |
| # CONFIG_CMD_EFUSE is not set |
| CONFIG_OF_CONTROL=y |
| CONFIG_OF_EMBED=y |
| CONFIG_DEFAULT_DEVICE_TREE="meson-s4-pxp" |
| CONFIG_CLK=y |
| CONFIG_CLK_MESON=y |
| CONFIG_CLK_MESON_S4=y |
| CONFIG_DM_GPIO=y |
| CONFIG_DM_I2C=y |
| CONFIG_SYS_I2C_MESON=y |
| CONFIG_MISC=y |
| CONFIG_DM_MMC=y |
| CONFIG_MMC_HS200_SUPPORT=y |
| CONFIG_MMC_MESON_GX=y |
| CONFIG_MTD=y |
| CONFIG_NAND=y |
| CONFIG_MESON_NFC=y |
| CONFIG_PHY=y |
| CONFIG_AML_USB3_PHY=y |
| CONFIG_AML_USB2_PHY=y |
| CONFIG_PINCTRL=y |
| CONFIG_PINCONF=y |
| CONFIG_PINCTRL_MESON_S4=y |
| CONFIG_DM_REGULATOR=y |
| CONFIG_DM_PWM=y |
| CONFIG_PWM_MESON=y |
| CONFIG_DEBUG_UART_MESON=y |
| CONFIG_DEBUG_UART_ANNOUNCE=y |
| CONFIG_DEBUG_UART_SKIP_INIT=y |
| CONFIG_MESON_SERIAL=y |
| CONFIG_USB=y |
| CONFIG_DM_USB=y |
| CONFIG_AML_USB=y |
| CONFIG_USB_XHCI_HCD=y |
| CONFIG_USB_XHCI_CRG=y |
| CONFIG_USB_GADGET=y |
| CONFIG_AML_V3_FACTORY_BURN=y |
| CONFIG_AML_V3_USB_TOOl=y |
| CONFIG_WDT=y |
| CONFIG_WDT_MESON=y |
| CONFIG_AML_DRIVER=y |
| CONFIG_AML_MEDIA=y |
| CONFIG_AML_VOUT=y |
| CONFIG_AML_OSD=y |
| CONFIG_AML_CANVAS=y |
| CONFIG_AML_VPP=y |
| CONFIG_AML_VPU=y |
| CONFIG_AML_HDMITX=y |
| CONFIG_AML_HDMITX20=y |
| CONFIG_SECURE_POWER_CONTROL=y |
| CONFIG_MESON_LEDS_STATE_CONTROL=y |
| CONFIG_SHA1=y |
| CONFIG_SHA256=y |
