X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=kconfig_hardened_check%2Fconfig_files%2Flinks.txt;h=421ed7136b9f64b5595074570b03762b9fffce2f;hb=b4de795e6120b264cfacad74b96df508419c6076;hp=99a902da24aa4ecba91e72d79743bdadc6b5f327;hpb=57379d8c851656116e2b149e3f1d4003c17d22d9;p=kconfig-hardened-check.git

diff --git a/kconfig_hardened_check/config_files/links.txt b/kconfig_hardened_check/config_files/links.txt
index 99a902d..421ed71 100644
--- a/kconfig_hardened_check/config_files/links.txt
+++ b/kconfig_hardened_check/config_files/links.txt
@@ -32,8 +32,11 @@ https://raw.githubusercontent.com/pentoo/pentoo-livecd/master/livecd/amd64/kerne
 Debian Buster:
 https://packages.debian.org/buster/amd64/linux-image-4.19.0-8-amd64/download
 
-AOSP (the instruction for kernel config generation):
-https://source.android.com/devices/tech/debug/kasan-kcov
+Android Open Source Project (AOSP):
+https://source.android.com/docs/setup/build/building-kernels
+
+Android Generic Kernel Image (GKI):
+https://source.android.com/docs/core/architecture/kernel/gki-release-builds
 
 CLIP OS:
 https://docs.clip-os.org/clipos/kernel.html#configuration