Commit Graph

9 Commits

Author SHA1 Message Date
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
d3f97dac58 Remove visionfive references 2024-01-24 12:41:57 +01:00
f8472b79e6 Disable compressed instructions in QEMU 2024-01-22 13:40:51 +01:00
1e054892fc Increase SMP CPUs to 32 2024-01-19 13:43:14 +01:00
9a475bc1e3 Booting Linux and userspace OK 2024-01-19 12:35:05 +01:00
c6a304ca7d Load kernel in 0x84000000 address
Booting the kernel works, but by manually specifying the address.
2024-01-18 18:19:29 +01:00
5e2f6fcd0e Try to load the kernel from u-boot 2024-01-18 17:58:55 +01:00
0b512ba9d1 Boot linux instead 2024-01-18 14:14:11 +01:00
Rodrigo Arias Mallo
81fd7f44fd Move script to boot.sh 2024-01-17 18:24:10 +01:00