8da3468ee2
Add qemu support for Lagarto Ox
...
The network is still not working automatically, but the eth0 device is
present in the host.
Reviewed-by: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
2024-10-25 13:05:29 +02:00
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
