Go to file
2024-03-01 18:31:57 +01:00
.gitignore Ignore qcow2 image from git 2024-01-25 15:39:15 +01:00
boot.sh Format the qcow2 image with ext4 2024-01-25 15:34:59 +01:00
configuration.nix Include vim in the guest to edit files 2024-01-25 15:38:22 +01:00
flake.lock Remove unneeded flake dependencies 2024-01-24 12:53:30 +01:00
flake.nix Format the qcow2 image with ext4 2024-01-25 15:34:59 +01:00
no-compressed.nix Disable nsncd daemon in no-compressed.nix 2024-03-01 18:31:57 +01:00
NOTES.md Move notes out of readme 2024-01-22 13:42:49 +01:00
overlay.nix Add FPGA OpenSBI and U-Boot 2024-03-01 18:19:59 +01:00
README.md Add comment to make GC root 2024-01-25 15:50:33 +01:00
vm.nix Disable nsncd daemon in no-compressed.nix 2024-03-01 18:31:57 +01:00

NixOS on RISC-V

To boot the system in QEMU, first enter the development shell:

$ nix develop

Then run the boot script:

$ ./boot.sh

To prevent the GC from erasing the system:

$ nix build .#devShells.x86_64-linux.default --out-link result-env