Rodrigo Arias Mallo 30703d1715 Use the ttyS0 device for the console
For now it seems to be outputting the log properly, but it doesn't read
anything in the initrd input console.
2024-07-03 16:09:38 +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-01 10:14:39 +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
2024-07-03 15:30:28 +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%