Add info about Debian and AOSP kernel configs to links.txt
[kconfig-hardened-check.git] / config_files / links.txt
1 ######################################################
2 #                                                    #
3 # Some kernel configurations are available directly. #
4 #                                                    #
5 ######################################################
6
7 Alpine Linux:
8 https://git.alpinelinux.org/cgit/aports/plain/main/linux-vanilla/config-vanilla.x86_64
9
10 Arch Linux:
11 https://git.archlinux.org/svntogit/packages.git/plain/linux-hardened/trunk/config.x86_64
12
13 Oracle Linux: Unbreakable Enterprise Kernel (UEK):
14 https://raw.githubusercontent.com/oracle/linux-uek/uek5/master/uek-rpm/ol7/config-x86_64
15
16 SUSE Linux Enterprise (SLE):
17 https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=SLE15-SP1
18
19 openSUSE:
20 https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=openSUSE-15.0
21
22 Pentoo:
23 https://raw.githubusercontent.com/pentoo/pentoo-livecd/master/livecd/amd64/kernel/config-5.1.0
24
25 Debian Buster:
26 https://packages.debian.org/buster/amd64/linux-image-4.19.0-6-amd64/download
27
28 AOSP (the instruction for kernel config generation):
29 https://source.android.com/devices/tech/debug/kasan-kcov