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
+
+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