init cachy kernel

This commit is contained in:
mjallen18
2025-12-10 09:30:35 -06:00
parent 764ce12aea
commit a5eba8ec68
24 changed files with 58361 additions and 2 deletions

View File

@@ -0,0 +1,11 @@
{ runCommand, configfile }:
# taken from <nixpkgs>/pkgs/os-specific/linux/kernel/manual-config.nix
runCommand "config.nix" { } ''
echo "{" > "$out"
while IFS='=' read key val; do
[ "x''${key#CONFIG_}" != "x$key" ] || continue
no_firstquote="''${val#\"}";
echo ' "'"$key"'" = "'"''${no_firstquote%\"}"'";' >> "$out"
done < "${configfile}"
echo "}" >> $out
''