CONFIG_MT8127_EVB_BOARD=y
# CONFIG_MT8127_FPGA_CA7 is not set
# CONFIG_MT8127_FPGA is not set
CONFIG_EARLY_LINUX_PORTING=y
CONFIG_MTK_VIDEOCODEC_DRIVER=y
CONFIG_SOUND=y
CONFIG_USB_MTK_OTG=y
CONFIG_USB_MTK_HDRC_HCD=y
CONFIG_MTK_CIRQ=y

CONFIG_MTK_NFC=y
CONFIG_NFC_MT6605=y
# CONFIG_NFC_MSR3110 is not set
# CONFIG_PN544_NFC is not set
# CONFIG_NFC_PN533 is not set
# CONFIG_NFC_WILINK is not set

#
# ION Support
#
CONFIG_ION=y
CONFIG_ION_MTK=y

CONFIG_POWER_EXT=n

#
# TEE related features
#
CONFIG_MTK_IN_HOUSE_TEE_SUPPORT=y
# CONFIG_MTK_SEC_VIDEO_PATH_SUPPORT is not set

# CONFIG_KERNEL_GZIP is not set
CONFIG_KERNEL_XZ=y

# CONFIG_MTK_CCCI_DEVICES is not set
# CONFIG_MTK_CCCI_DRIVER is not set
# CONFIG_MTK_CCCI_EXT is not set
# CONFIG_MTK_NET_CCMNI is not set

# CONFIG_MTK_WD_KICKER is not set

# CONFIG_MTK_USBFSH is not set
