From 0003f07ed40688af71db90679995b5776c988ae8 Mon Sep 17 00:00:00 2001 From: Rodrigo Arias Mallo Date: Fri, 1 Mar 2024 18:43:24 +0100 Subject: [PATCH] Add FPGA documentation in readme --- README.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/README.md b/README.md index 9cfd5e3..fcd5fef 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,9 @@ # 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: ``` @@ -17,3 +21,10 @@ 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 +```