Go to file
Rodrigo Arias Mallo ebde95c29f
Some checks failed
CI / build:lagarto-ox-tarball (push) Failing after 5s
Add tarball script for CI
Allows the same script to be executed by GitLab and Gitea runners.
2024-10-22 16:20:32 +02:00
.gitea/workflows Add tarball script for CI 2024-10-22 16:20:32 +02:00
bootrom Update bootrom gitignore 2024-08-23 21:22:22 +02:00
ci Add tarball script for CI 2024-10-22 16:20:32 +02:00
dts Configure SPI addresses in header 2024-10-11 11:01:48 +02:00
fpga Switch to debug2 instead of bench2 2024-10-11 11:05:45 +02:00
patches Print a message before we drop to a shell 2024-10-11 11:06:36 +02:00
pkgs Disable 657.xz_s in SPEC mini 2024-10-10 10:47:13 +02:00
tools Add more operations to plictool 2024-10-02 14:50:33 +02:00
.gitignore Add gcroots to gitignore 2024-09-25 10:22:17 +02:00
.gitlab-ci.yml Add tarball script for CI 2024-10-22 16:20:32 +02:00
boot.sh Format the qcow2 image with ext4 2024-01-25 15:34:59 +01:00
configuration.nix Add spec-cpu-mini to rootfs 2024-10-07 13:34:52 +02:00
flake.lock flake.lock: Update 2024-09-25 10:24:31 +02:00
flake.nix Switch to bscpkgs master branch 2024-09-25 10:24:31 +02:00
JOURNAL.md Add SPEC mini result 2024-10-11 09:40:40 +02:00
lagarto-hun.nix Move patches to its own directory 2024-09-06 08:22:14 +02:00
lagarto-ox.nix Use --zstd flag in tar 2024-10-21 09:38:59 +02:00
no-compressed.nix Add no compressed specific overlay 2024-03-07 12:04:05 +01:00
NOTES.md Add notes about kernel config file 2024-03-04 14:45:53 +01:00
overlay.nix Add SPEC launcher 2024-10-09 15:52:46 +02:00
README.md Update README 2024-10-11 09:34:18 +02:00
vm.nix WIP 2024-05-28 18:12:14 +02:00

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