X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=config_files%2Flinks.txt;h=4bc862c23b9fe4bb8440f6b991f80aa12d8f7705;hb=fa1ba5f0a67c0d7f1a455107ea812e8385ab39ec;hp=ef41c218516c747f9fec90d5949832442c2394d4;hpb=4f9c65395c0276f3fbdafb25a1130ee0e4e4d5d4;p=kconfig-hardened-check.git

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