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

Lagarto Hun

WIP