X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=kconfig_hardened_check%2Fconfig_files%2Flinks.txt;h=a1df3b3f00ae02875aaf10dd960e197df7e04bc5;hb=80ade8342566cf6f93c2f0d50440e9815cb8e53d;hp=a28a462ce928f371cdea091124dadb724ec3fc2a;hpb=1aa2467c554732ba3ac1318d4070817b077645e2;p=kconfig-hardened-check.git

diff --git a/kconfig_hardened_check/config_files/links.txt b/kconfig_hardened_check/config_files/links.txt
index a28a462..a1df3b3 100644
--- 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