Go to file

Rodrigo Arias Mallo 483ad2944b Format the qcow2 image with ext4

The image needs to be available to the guest with a partition table and
a partition with a label named "nixos" so the stage1 can mount it. By
enabling the virtualisation.diskImage option we now have a persistent
root filesystem, including /home.

2024-01-25 15:34:59 +01:00

.gitignore

init

2022-07-09 04:35:35 +01:00

boot.sh

Format the qcow2 image with ext4

2024-01-25 15:34:59 +01:00

configuration.nix

Add gcc and objdump developer tools

2024-01-24 13:10:09 +01:00

flake.lock

Remove unneeded flake dependencies

2024-01-24 12:53:30 +01:00

flake.nix

Format the qcow2 image with ext4

2024-01-25 15:34:59 +01:00

no-compressed.nix

Add qemu and qemu-nc NixOS configurations

2024-01-24 12:50:41 +01:00

NOTES.md

Move notes out of readme

2024-01-22 13:42:49 +01:00

overlay.nix

Remove unneeded override of stdenv

2024-01-24 10:00:19 +01:00

README.md

Move notes out of readme

2024-01-22 13:42:49 +01:00

vm.nix

Format the qcow2 image with ext4

2024-01-25 15:34:59 +01:00

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

Languages

Nix 41.5%

Shell 21.3%

C 15.5%

Perl 9.9%

Makefile 8.2%

Other 3.6%