asterinas/tools/nixos
Qingsong Chen 8b219c077e Rename the grub menu of ISO image 2025-12-12 17:33:27 +08:00
..
build_iso.sh Rename the grub menu of ISO image 2025-12-12 17:33:27 +08:00
build_nixos.sh Add cachix binary cache 2025-12-12 00:19:00 +08:00
run_iso.sh Add ISO installer image 2025-12-11 22:07:24 +08:00
run_nixos.sh Support NixOS distro and add CI to test 2025-12-02 15:30:30 +08:00