Rodrigo Arias Mallo fcf4977a65 Extend the serial range from 0x100 to 0x1000
The AXI UART 16550 v2.0 from Xilinx only seem to require 32 bytes for
the registes, but let's reduce the changes with the original DTS.
2024-07-04 16:47:56 +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-03 18:52:51 +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%