Fix pylint warnings: mark run_engine() with @staticmethod

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

diff --git a/kconfig_hardened_check/config_files/links.txt b/kconfig_hardened_check/config_files/links.txt
index a28a462ce928f371cdea091124dadb724ec3fc2a..421ed7136b9f64b5595074570b03762b9fffce2f 100644 (file)
--- a/kconfig_hardened_check/config_files/links.txt
+++ b/kconfig_hardened_check/config_files/links.txt
@@ -32,10 +32,19 @@ https://raw.githubusercontent.com/pentoo/pentoo-livecd/master/livecd/amd64/kerne
 Debian Buster:
 https://packages.debian.org/buster/amd64/linux-image-4.19.0-8-amd64/download
 
-AOSP (the instruction for kernel config generation):
-https://source.android.com/devices/tech/debug/kasan-kcov
+Android Open Source Project (AOSP):
+https://source.android.com/docs/setup/build/building-kernels
+
+Android Generic Kernel Image (GKI):
+https://source.android.com/docs/core/architecture/kernel/gki-release-builds
 
 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
+
+NixOS:
+run contrib/get-nix-kconfig.py from nix-shell to get the kernel configs
+
+CBL-Mariner:
+https://github.com/microsoft/CBL-Mariner/blob/1.0/SPECS/kernel/config