47 lines
654 B
Markdown
47 lines
654 B
Markdown
# 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.
|