# NixOS on RISC-V

This repository contains NixOS configurations for different RISC-V machines.

## Lagarto Ox on FPGA Alveo U55C

To build the system and boot it on an FPGA of the MEEP cluster, you can run the
following:

```
$ nix develop -L '.#lagarto-ox' --command fpga/run-remotely.sh fpgalogin1:ci
```

To do it manually, you can first enter the development shell:

```
$ nix develop -L '.#lagarto-ox'
```

Then upload the files to the target machine (fpgalogin1 by default):

```
$ fpga/upload.sh
```

Then connect to the fpgalogin1 machine, allocate a FPGA node and load the
environment there:

```
$ cd nixos
$ . env.sh
```

Flash the images to the FPGA:

```
$ ./fpgactl -w bitstream.bit -b opensbi.bin -k kernel.bin -i initrd.bin -r rootfs.img
```

And monitor the serial line:

```
$ picocom -q -b 115200 $FPGACTL_UART
```

It should boot without any user interaction.

## Lagarto Ox on QEMU

To build the system and boot it on QEMU, you can run the following:

```
$ nix develop -L '.#qemu-lagarto-ox'
```

Then, simply run boot.sh to start the QEMU system.

```
$ ./boot.sh
```
To execute the RISC-V benchmark suite on boot stage 2, run boot.sh with the bench2 option.

```
$ ./boot.sh bench2
```

To open a debug shell on boot stage 2, run boot.sh with the debug2 option.

```
$ ./boot.sh debug2
```

## Lagarto Hun

WIP