Rodrigo Arias Mallo
6d4db58e7d
Flake lock file updates:
• Updated input 'bscpkgs':
'git+https://git.sr.ht/~rodarima/bscpkgs?ref=riscv-benchmarks&rev=f5515a80bfed28cd4e2e737858ba4124a7e53333' (2024-05-30)
→ 'git+https://git.sr.ht/~rodarima/bscpkgs?ref=riscv-benchmarks&rev=9b197d12f1edf52efcb6e3dad421f2a8fd5af2a7' (2024-09-19)
|
||
|---|---|---|
| bootrom | ||
| dts | ||
| fpga | ||
| patches | ||
| tools | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| boot.sh | ||
| configuration.nix | ||
| flake.lock | ||
| flake.nix | ||
| JOURNAL.md | ||
| lagarto-hun.nix | ||
| lagarto-ox.nix | ||
| no-compressed.nix | ||
| NOTES.md | ||
| overlay.nix | ||
| README.md | ||
| vm.nix | ||
NixOS on RISC-V
This repository contains NixOS configurations for different RISC-V machines.
QEMU
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
Lagarto Hun on FPGA Alveo U55C
First build required dependencies:
$ nix develop '.#lagarto-hun'
Then upload to destination:
$ fpga/upload.sh
And then boot the system there:
cucu$ ./boot.sh
...
In the U-Boot prompt, paste the commands of the uboot.env file.