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
```