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

FPGA

. fpga/env.sh
fpga/fpgactl -w /path/to/bitstream -b openpiton2.bin -k kernel-nixos -r initrd-nixos
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%