From: Mark D. Gray Date: Fri, 20 Aug 2021 17:39:03 +0000 (-0500) Subject: Added Linux/x86_64 kernel config link for CBL-Mariner X-Git-Tag: v0.5.14~12^2 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=refs%2Fpull%2F51%2Fhead;p=kconfig-hardened-check.git 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 a1df3b3..99a902d 100644 --- 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