rarias/nixos-riscv
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity
71 Commits 2 Branches 0 Tags 554 KiB
Nix 38.9%
Shell 22.3%
C 16.2%
Perl 10.4%
Makefile 8.5%
Other 3.7%
b7251e7a84
Go to file
Rodrigo Arias Mallo b7251e7a84 Build OpenSBI and u-boot without vector extension
2024-01-25 15:36:39 +01:00
.gitignore init 2022-07-09 04:35:35 +01:00
boot.sh Format the qcow2 image with ext4 2024-01-25 15:34:59 +01:00
configuration.nix Add gcc and objdump developer tools 2024-01-24 13:10:09 +01:00
flake.lock Remove unneeded flake dependencies 2024-01-24 12:53:30 +01:00
flake.nix Format the qcow2 image with ext4 2024-01-25 15:34:59 +01:00
no-compressed.nix Add qemu and qemu-nc NixOS configurations 2024-01-24 12:50:41 +01:00
NOTES.md Move notes out of readme 2024-01-22 13:42:49 +01:00
overlay.nix Build OpenSBI and u-boot without vector extension 2024-01-25 15:36:39 +01:00
README.md Move notes out of readme 2024-01-22 13:42:49 +01:00
vm.nix Format the qcow2 image with ext4 2024-01-25 15:34:59 +01:00

README.md

NixOS on RISC-V

To boot the system in QEMU, first enter the development shell:

$ nix develop

Then run the boot script:

$ ./boot.sh