Rodrigo Arias Mallo
9ed8f812c8
The problem with the Stage 1 script is that is spawning another tee process to forward the output to the console, but this is not required. So let's only keep the memtool running by creating our own init script. |
||
|---|---|---|
| fpga | ||
| .gitignore | ||
| alveo-uart-sbi-hack.patch | ||
| boot.sh | ||
| busybox-debug.patch | ||
| configuration.nix | ||
| csrtool.c | ||
| flake.lock | ||
| flake.nix | ||
| JOURNAL.md | ||
| lagarto-hun.nix | ||
| lagarto-ox.nix | ||
| memtool.c | ||
| no-compressed.nix | ||
| NOTES.md | ||
| opensbi-lagarto-hun.patch | ||
| overlay.nix | ||
| ox-alveo-platform-plic.patch | ||
| ox-alveo-platform.patch | ||
| ox-plic.dts | ||
| ox.dts | ||
| README.md | ||
| stage2.log | ||
| u-boot-debug.patch | ||
| unalign.c | ||
| vm.nix | ||
| xavi.dts | ||
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.