gokrazy-cm3588-kernel/cmd/gokr-build-kernel/config.txt

# Make sure /proc/config.gz is available
CONFIG_IKCONFIG=y
CONFIG_IKCONFIG_PROC=y

# Disable modules - forces all modules to automatically be embedded into kernel binary
CONFIG_MODULES=n

# Disable wireless-y modules, like WiFi/BT
CONFIG_BT=n
CONFIG_CFG80211=n
CONFIG_NFC=n
CONFIG_WIRELESS=n

# Speed up boot and processing in general
CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
CONFIG_DEBUG_KERNEL=n

# Required for Tailscale
CONFIG_TUN=y

CONFIG_ARCH_ROCKCHIP=y
CONFIG_ROCKCHIP_PHY=y
CONFIG_SPI_ROCKCHIP=y
CONFIG_SPI_ROCKCHIP_SFC=y
CONFIG_ROCKCHIP_THERMAL=y
CONFIG_MMC_DW_ROCKCHIP=y
CONFIG_ROCKCHIP_MBOX=y
CONFIG_ROCKCHIP_IOMMU=y
CONFIG_ROCKCHIP_IODOMAIN=y
CONFIG_ROCKCHIP_PM_DOMAINS=y
CONFIG_PWM_ROCKCHIP=y
CONFIG_PHY_ROCKCHIP_DP=y
CONFIG_PHY_ROCKCHIP_DPHY_RX0=m
CONFIG_PHY_ROCKCHIP_EMMC=y
CONFIG_PHY_ROCKCHIP_INNO_HDMI=y
CONFIG_PHY_ROCKCHIP_INNO_USB2=y
CONFIG_PHY_ROCKCHIP_INNO_CSIDPHY=y
CONFIG_PHY_ROCKCHIP_INNO_DSIDPHY=y
CONFIG_PHY_ROCKCHIP_NANENG_COMBO_PHY=y
CONFIG_PHY_ROCKCHIP_PCIE=y
CONFIG_PHY_ROCKCHIP_SNPS_PCIE3=y
CONFIG_PHY_ROCKCHIP_TYPEC=y
CONFIG_PHY_ROCKCHIP_USB=y
CONFIG_NVMEM_ROCKCHIP_EFUSE=y
CONFIG_NVMEM_ROCKCHIP_OTP=y
CONFIG_CRYPTO_DEV_ROCKCHIP=y
CONFIG_INPUT_RK805_PWRKEY=y
CONFIG_PINCTRL_RK805=y
CONFIG_MFD_RK8XX_I2C=y
CONFIG_MFD_RK8XX_SPI=y
CONFIG_SND_SOC_RK3328=y

CONFIG_NR_CPUS=8
CONFIG_HZ_100=y
CONFIG_CMDLINE="console=ttyAMA0"

CONFIG_OF=y
CONFIG_DWMAC_ROCKCHIP=y
CONFIG_REALTEK_PHY=y

# These take a while to build and are not needed for RK3328 boards
CONFIG_DRM_AMDGPU=n
CONFIG_DRM_NOUVEAU=n