51 lines
902 B
Markdown
51 lines
902 B
Markdown
# 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 Hun
|
|
|
|
WIP
|