Rodrigo Arias Mallo c6a304ca7d Load kernel in 0x84000000 address

Booting the kernel works, but by manually specifying the address.

2024-01-18 18:19:29 +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}