Go to file
Rodrigo Arias Mallo 1fda5d7710 Set the bootcmd in u-boot
In QEMU the kernel is loaded at the ${kernel_addr_r} address and we need
to use booti instead of bootm.
2024-01-19 14:29:23 +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 Increase SMP CPUs to 32 2024-01-19 13:43:14 +01:00
configuration.nix Add default user and serial boot parameters 2024-01-19 13:43:32 +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
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 Set the bootcmd in u-boot 2024-01-19 14:29:23 +01:00
README.md Increase SMP CPUs to 32 2024-01-19 13:43:14 +01:00
vm.nix Booting Linux and userspace OK 2024-01-19 12:35:05 +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

In u-boot use the following to boot:

=> booti 0x84000000 - ${fdtcontroladdr} 

Notes

  • With only 1 CPU some thigs are soo slow to work. For example, the ttyS0 device doesn't arrive on time and the login fails. Or the SSH daemon doesn't start until the third try. With -smp 32 seems to work ok.