build:download_gki --use_prebuilt_gki
build:download_gki --use_signed_prebuilts
build:download_gki --action_env=KLEAF_DOWNLOAD_BUILD_NUMBER_MAP="gki_prebuilts=13512086"
build:no_download_gki --use_prebuilt_gki=false

# disable GKI prebuilts by default
#build --config=no_download_gki

# enable GKI prebuilts by default
build --config=download_gki

build:kirkwood_64 --//kernel_device_modules-5.15:mgk_kernel_build=//kernel_device_modules-5.15:kirkwood_64
build:kirkwood_64 --//kernel_device_modules-5.15:mgk_device_modules=//kernel_device_modules-5.15:kirkwood_64_device_modules

build:mgk_debug_common --notrim
build:mgk_debug_common --nokmi_symbol_list_strict_mode
build:mgk_debug_common --nokmi_symbol_list_violations_check
build:mgk_debug_common --config=no_download_gki

build:kasan --config=mgk_debug_common --defconfig_fragment=//kernel_device_modules-5.15:kasan_config

build:khwasan --config=mgk_debug_common --defconfig_fragment=//kernel_device_modules-5.15:khwasan_config