Rodrigo Arias Mallo 254d1bd82b flake.lock: Update
Flake lock file updates:

• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/e4ad989506ec7d71f7302cc3067abd82730a4beb' (2023-11-19)
  → 'github:NixOS/nixpkgs/9f4128e00b0ae8ec65918efeba59db998750ead6' (2024-07-03)
2024-07-05 16:31:08 +02:00
2024-07-03 18:52:51 +02:00
2024-07-03 13:10:06 +02:00
2024-06-27 11:29:15 +02:00
2024-01-25 15:34:59 +01:00
WIP
2024-05-28 18:12:14 +02:00
2024-07-05 16:31:08 +02:00
2024-07-05 16:30:29 +02:00
WIP
2024-05-28 18:12:14 +02:00
2024-03-04 14:45:53 +01:00
WIP
2024-05-28 18:12:14 +02:00
WIP
2024-05-28 18:12:14 +02:00
2024-06-27 11:29:15 +02:00
WIP
2024-05-28 18:12:14 +02:00
WIP
2024-05-28 18:12:14 +02:00
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.

Description
No description provided
Readme 596 KiB
Languages
Nix 41.5%
Shell 21.3%
C 15.5%
Perl 9.9%
Makefile 8.2%
Other 3.6%