| 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 |