X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=config_files%2Flinks.txt;h=4bc862c23b9fe4bb8440f6b991f80aa12d8f7705;hb=refs%2Ftags%2Fv0.5.3;hp=088eac4f228c64cd8ce6c667bc5e9ade4a530da4;hpb=42f18eb2ff6532dd847f21f437b66a8dd5ad1097;p=kconfig-hardened-check.git

diff --git a/config_files/links.txt b/config_files/links.txt
index 088eac4..4bc862c 100644
--- a/config_files/links.txt
+++ b/config_files/links.txt
@@ -5,12 +5,10 @@
 ######################################################
 
 Alpine Linux:
-https://git.alpinelinux.org/cgit/aports/plain/main/linux-vanilla/config-vanilla.x86_64?h=3.8-stable
 https://git.alpinelinux.org/cgit/aports/plain/main/linux-vanilla/config-vanilla.x86_64
 
 Arch Linux:
-https://git.archlinux.org/svntogit/packages.git/plain/trunk/config?h=packages/linux
-https://git.archlinux.org/svntogit/packages.git/plain/trunk/config.x86_64?h=packages/linux-hardened
+https://git.archlinux.org/svntogit/packages.git/plain/linux-hardened/trunk/config.x86_64
 
 Oracle Linux: Unbreakable Enterprise Kernel (UEK):
 https://raw.githubusercontent.com/oracle/linux-uek/uek5/master/uek-rpm/ol7/config-x86_64
@@ -19,9 +17,18 @@ SUSE Linux Enterprise (SLE):
 https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=SLE15-SP1
 
 openSUSE:
-https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=openSUSE-42.3
-https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=stable
-https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default
+https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=openSUSE-15.0
 
 Pentoo:
-https://github.com/pentoo/pentoo-livecd/tree/master/livecd/amd64/kernel
+https://raw.githubusercontent.com/pentoo/pentoo-livecd/master/livecd/amd64/kernel/config-5.1.0
+
+Debian Buster:
+https://packages.debian.org/buster/amd64/linux-image-4.19.0-6-amd64/download
+
+AOSP (the instruction for kernel config generation):
+https://source.android.com/devices/tech/debug/kasan-kcov
+
+CLIP OS:
+https://docs.clip-os.org/clipos/kernel.html#configuration
+https://github.com/clipos/src_platform_config-linux-hardware
+https://github.com/clipos/products_clipos/blob/master/efiboot/configure.d/95_dracut.sh