Go to file

Rodrigo Arias Mallo 12237d6a79 Add fpgactl tool		2024-03-01 18:37:05 +01:00
fpga	Add fpgactl tool	2024-03-01 18:37:05 +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	Add Lagarto Hun configuration	2024-03-01 18:33:30 +01:00
lagarto-hun.nix	Add Lagarto Hun configuration	2024-03-01 18:33:30 +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 Lagarto Hun configuration	2024-03-01 18:33:30 +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