NixOS on RISCV/VisionFive 2: Difference between revisions

m Add remote builder and deploy sections
m Mention UEFI and EDK2
Line 44: Line 44:


Also the NixOS version of the popular boot-loader [https://github.com/u-boot/u-boot U-Boot], used by this board, has already received all required patches to fully support this board out-of-the-box.
Also the NixOS version of the popular boot-loader [https://github.com/u-boot/u-boot U-Boot], used by this board, has already received all required patches to fully support this board out-of-the-box.
There's even a port of the UEFI reference implementation EDK2 available at https://github.com/starfive-tech/edk2 to support a future generic RISCV Linux image that can be booted from any RISCV device.


= Building a SD-card image =
= Building a SD-card image =