Version 0.5.3 (supports Linux kernel v5.3)

[kconfig-hardened-check.git] / config_files / links.txt

diff --git a/config_files/links.txt b/config_files/links.txt
index ba846f54fb4d98580fa97160e69792c5805360ed..4bc862c23b9fe4bb8440f6b991f80aa12d8f7705 100644 (file)
--- a/config_files/links.txt
+++ b/config_files/links.txt
@@ -21,3 +21,14 @@ https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=ope
 
 Pentoo:
 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