Revisit special behavior in checking and printing that depends on the class

[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..a1df3b3f00ae02875aaf10dd960e197df7e04bc5 100644 (file)
--- a/kconfig_hardened_check/config_files/links.txt
+++ b/kconfig_hardened_check/config_files/links.txt
@@ -39,3 +39,6 @@ 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