From a5686b11271f13886bee7161df563883981b10c1 Mon Sep 17 00:00:00 2001 From: "Mark D. Gray" Date: Fri, 20 Aug 2021 12:39:03 -0500 Subject: [PATCH] Added Linux/x86_64 kernel config link for CBL-Mariner --- kconfig_hardened_check/config_files/links.txt | 3 +++ 1 file changed, 3 insertions(+) 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 -- 2.31.1