README.md

# 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.