Go to file
Rodrigo Arias Mallo 931244a355 Try to use openpiton based OpenSBI config
The seem to be doing PLIC initialization based on the device tree, which
may be relevant as that is where we are defining the interruptions.
2024-07-08 09:49:34 +02:00
fpga Add dev shell without rootfs 2024-07-03 18:52:51 +02:00
.gitignore Ignore misc directory 2024-07-03 13:10:06 +02:00
alveo-uart-sbi-hack.patch Working OpenSBI 1.2 2024-06-27 11:29:15 +02:00
boot.sh Format the qcow2 image with ext4 2024-01-25 15:34:59 +01:00
busybox-debug.patch Add busybox patch to see debug lines: initrd sh ok 2024-07-03 13:43:41 +02:00
configuration.nix Remove rvb dependency for now to avoid clang 2024-07-05 16:54:14 +02:00
flake.lock flake.lock: Update 2024-07-05 16:31:08 +02:00
flake.nix Update nixpkgs to nixos-unstable 2024-07-05 16:30:29 +02:00
JOURNAL.md Reached stage2! 2024-07-08 08:49:21 +02:00
lagarto-hun.nix WIP 2024-05-28 18:12:14 +02:00
lagarto-ox.nix Try to use openpiton based OpenSBI config 2024-07-08 09:49:34 +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
opensbi-lagarto-hun.patch WIP 2024-05-28 18:12:14 +02:00
opensbi-lagarto-ox.patch Try to use openpiton based OpenSBI config 2024-07-08 09:49:34 +02:00
overlay.nix WIP 2024-05-28 18:12:14 +02:00
ox-alveo-platform-plic.patch Revert UART speed to 50MHz following vivado log 2024-07-04 17:57:26 +02:00
ox-alveo-platform.patch Working OpenSBI 1.2 2024-06-27 11:29:15 +02:00
ox-plic.dts Disable secondary console 2024-07-08 08:49:12 +02:00
ox.dts Reached U-Boot console with FDT parsing error 2024-06-27 16:08:30 +02:00
README.md Update readme with uboot instructions 2024-03-07 16:52:28 +01:00
stage2.log Reached stage2! 2024-07-08 08:49:21 +02:00
u-boot-debug.patch Reached U-Boot console with FDT parsing error 2024-06-27 16:08:30 +02:00
unalign.c WIP 2024-05-28 18:12:14 +02:00
vm.nix WIP 2024-05-28 18:12:14 +02:00
xavi.dts Reached working U-Boot prompt 2024-06-27 17:58:21 +02:00

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.