# based on https://github.com/glassd00r/Openwrt_Builder/blob/main/bpi-r4.config

# set GCC15
CONFIG_BUILD_PATENTED=y
CONFIG_DEVEL=y
CONFIG_EXPERIMENTAL=y

CONFIG_GCC_USE_VERSION_15=y
CONFIG_TOOLCHAINOPTS=y

CONFIG_ZLIB_OPTIMIZE_SPEED=y
CONFIG_ZSTD_OPTIMIZE_O3=y

CONFIG_GCC_USE_GRAPHITE=y
CONFIG_USE_GC_SECTIONS=y
CONFIG_USE_LTO=y
CONFIG_USE_MKLIBS=y
CONFIG_USE_MOLD=y

# CONFIG_KERNEL_CC_STACKPROTECTOR_STRONG is not set
# CONFIG_USE_GCC_GGV is not set
# CONFIG_USE_PREFETCH is not set