Go to file
2024-01-22 16:05:38 +01:00
examples Booting 2023-11-29 10:48:59 +01:00
visionfive2 visionfive2: Explain kernel situation 2023-02-16 13:30:40 +01:00
.gitignore init 2022-07-09 04:35:35 +01:00
base.nix Booting 2023-11-29 10:48:59 +01:00
boot.sh Disable compressed instructions in QEMU 2024-01-22 13:40:51 +01:00
configuration.nix Add gdb and comment about nscd daemon 2024-01-22 16:05:38 +01:00
flake.lock Boot opensbi without compressed 2024-01-17 18:22:30 +01:00
flake.nix Booting Linux and userspace OK 2024-01-19 12:35:05 +01:00
kernel.nix Disable kernel oprtions 2024-01-17 15:00:51 +01:00
NOTES.md Move notes out of readme 2024-01-22 13:42:49 +01:00
old-flake.lock Boot opensbi without compressed 2024-01-17 18:22:30 +01:00
old-flake.nix Boot opensbi without compressed 2024-01-17 18:22:30 +01:00
overlay.nix Disable EFI in the kernel and use normal stdenv 2024-01-22 13:37:00 +01:00
README.md Move notes out of readme 2024-01-22 13:42:49 +01:00
vm.nix Add gdb and comment about nscd daemon 2024-01-22 16:05:38 +01:00

NixOS on RISC-V

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

$ nix develop

Then run the boot script:

$ ./boot.sh