| build:download_gki --use_prebuilt_gki |
| build:download_gki --use_signed_prebuilts |
| build:download_gki --action_env=KLEAF_DOWNLOAD_BUILD_NUMBER_MAP="gki_prebuilts=12916019" |
| 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 |
