Skip to content
README.md 241 B
Newer Older
Rodrigo Arias Mallo's avatar
Rodrigo Arias Mallo committed
# NixOS on RISC-V
Rodrigo Arias Mallo's avatar
Rodrigo Arias Mallo committed
To boot the system in QEMU, first enter the development shell:
Rodrigo Arias Mallo's avatar
Rodrigo Arias Mallo committed
```
$ nix develop
```
Rodrigo Arias Mallo's avatar
Rodrigo Arias Mallo committed
Then run the boot script:

```
$ ./boot.sh
```

In u-boot use the following to boot:

```
=> booti 0x84000000 - ${fdtcontroladdr} 
```