Added Linux/x86_64 kernel config link for CBL-Mariner

diff --git a/kconfig_hardened_check/config_files/links.txt b/kconfig_hardened_check/config_files/links.txt
index a1df3b3f00ae02875aaf10dd960e197df7e04bc5..99a902da24aa4ecba91e72d79743bdadc6b5f327 100644 (file)
--- a/kconfig_hardened_check/config_files/links.txt
+++ b/kconfig_hardened_check/config_files/links.txt
@@ -42,3 +42,6 @@ https://github.com/clipos/products_clipos/blob/master/efiboot/configure.d/95_dra
 
 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