- Press Del while booting to enter settings (see https://docs.nvidia.com/dgx/dgx-spark/uefi-settings.html)
- Go to Security tab, there disable Secure Boot (see https://docs.nvidia.com/dgx/dgx-spark-uefi/security-tab.html#secure-boot)
- Go to Save & Exit tab, do Save & Exit
In the DGX OS (maybe possible to boot to recovery), run:
sudo fwupdmgr get-updates
sudo fwupdmgr update
Then maybe reboot is needed.
Use releases from https://github.com/nix-community/nixos-images.
-
To get kernel arguments:
curl -L https://github.com/nix-community/nixos-images/releases/download/nixos-26.05/netboot-aarch64-linux.ipxe -
fetch kernel and initrd
curl -L -o kernel https://github.com/nix-community/nixos-images/releases/download/nixos-26.05/Image-aarch64-linux \ -o initrd https://github.com/nix-community/nixos-images/releases/download/nixos-26.05/initrd-aarch64-linux -
copy them to /boot:
sudo mkdir /boot/nixos sudo cp -v kernel initrd /boot/nixos -
edit GRUB config with
sudo vim /boot/grub/grub.cfg, copy the first menuentry there, replace:- name with
NixOS - id with
nixos - kernel path with
/boot/nixos/kernel - initrd path with
/boot/nixos/initrd - kernel cmdline with the output from the first curl
- name with
- tell GRUB to boot into this menuentry with
sudo grub-reboot nixos - reboot
- set up SSH authorized key or password for root using console
I used nixos-anywhere, because I'm lazy:
nixos-anywhere --flake .#spark-805c --target-host spark-805c.local -L --build-on remote --phases disko,install,reboot