1 ######################################################
3 # Some kernel configurations are available directly. #
5 ######################################################
8 https://git.alpinelinux.org/aports/plain/main/linux-lts/config-lts.x86_64
11 http://52.45.193.166/mirrors/http/amazonlinux.us-east-1.amazonaws.com/amazon_linux_2/?C=M;O=D
14 https://git.archlinux.org/svntogit/packages.git/plain/linux-hardened/trunk/config
17 https://raw.githubusercontent.com/clearlinux-pkgs/linux/master/config
18 https://raw.githubusercontent.com/clearlinux-pkgs/linux/master/cmdline
20 Oracle Linux: Unbreakable Enterprise Kernel (UEK):
21 https://raw.githubusercontent.com/oracle/linux-uek/uek6/master/uek-rpm/ol7/config-x86_64
23 SUSE Linux Enterprise (SLE):
24 https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=SLE15-SP2
27 https://kernel.opensuse.org/cgit/kernel-source/plain/config/x86_64/default?h=openSUSE-15.1
30 https://raw.githubusercontent.com/pentoo/pentoo-livecd/master/livecd/amd64/kernel/config-5.5.5
33 https://packages.debian.org/buster/amd64/linux-image-4.19.0-8-amd64/download
35 Android Open Source Project (AOSP):
36 https://source.android.com/docs/setup/build/building-kernels
38 Android Generic Kernel Image (GKI):
39 https://source.android.com/docs/core/architecture/kernel/gki-release-builds
42 https://docs.clip-os.org/clipos/kernel.html#configuration
43 https://github.com/clipos/src_platform_config-linux-hardware
44 https://github.com/clipos/products_clipos/blob/master/efiboot/configure.d/95_dracut.sh
47 run contrib/get-nix-kconfig.py from nix-shell to get the kernel configs
50 https://github.com/microsoft/CBL-Mariner/blob/1.0/SPECS/kernel/config