Files
nixos-riscv/fpga/env.sh