From: Alexander Popov <alex.popov@linux.com>
Date: Thu, 28 Nov 2019 07:32:49 +0000 (+0300)
Subject: Add info about Debian and AOSP kernel configs to links.txt
X-Git-Tag: v0.5.3~18
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=4f9c65395c0276f3fbdafb25a1130ee0e4e4d5d4;hp=ad807007d50e9505ac0839437036c4c03009ad74;p=kconfig-hardened-check.git

Add info about Debian and AOSP kernel configs to links.txt
---

diff --git a/config_files/links.txt b/config_files/links.txt
index ba846f5..ef41c21 100644
--- a/config_files/links.txt
+++ b/config_files/links.txt
@@ -21,3 +21,9 @@ 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