Add CLIP OS links

[kconfig-hardened-check.git] / config_files / links.txt

diff --git a/config_files/links.txt b/config_files/links.txt
index ef41c218516c747f9fec90d5949832442c2394d4..4bc862c23b9fe4bb8440f6b991f80aa12d8f7705 100644 (file)
--- 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