From: Alexander Popov <alex.popov@linux.com>
Date: Thu, 28 Nov 2019 17:23:04 +0000 (+0300)
Subject: Add CLIP OS links
X-Git-Tag: v0.5.3~9
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;ds=sidebyside;h=ab741a4fb82e9097db54ccbf9db6d1ab10916db5;p=kconfig-hardened-check.git

Add CLIP OS links
---

diff --git a/config_files/links.txt b/config_files/links.txt
index ef41c21..4bc862c 100644
--- a/config_files/links.txt
+++ b/config_files/links.txt
@@ -27,3 +27,8 @@ https://packages.debian.org/buster/amd64/linux-image-4.19.0-6-amd64/download
 
 AOSP (the instruction for kernel config generation):
 https://source.android.com/devices/tech/debug/kasan-kcov
+
+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