+++ /dev/null
-
-qemu-system-riscv64 \
- -machine virt \
- -cpu rv64 \
- -m 1G \
- -device virtio-blk-device,drive=hd \
- -drive file=machine/overlay.qcow2,if=none,id=hd \
- -device virtio-net-device,netdev=net \
- -netdev user,id=net,hostfwd=tcp::2222-:22 \
- -kernel machine/u-boot-qemu/uboot.elf \
- -object rng-random,filename=/dev/urandom,id=rng \
- -device virtio-rng-device,rng=rng \
- -append "root=LABEL=rootfs console=ttyS0" \
- -nographic \
-
-echo "now do:"
-echo " ssh debian@localhost -p 2222"
+++ /dev/null
-
-mkdir machine
-cd machine
-wget "https://gitlab.com/api/v4/projects/giomasce%2Fdqib/jobs/artifacts/master/download?job=convert_riscv64-virt" -O debian-rv64.zip
-
-unzip ./debian-rv64.zip
-
-# Grab the URL from https://packages.debian.org/sid/u-boot-qemu
-wget "http://ftp.us.debian.org/debian/pool/main/u/u-boot/u-boot-qemu_2025.01-3.1_all.deb" -O u-boot-qemu.deb
-mkdir u-boot-qemu
-cd u-boot-qemu
-ar -x ../u-boot-qemu.deb
-tar xvf data.tar.xz
-cp ./usr/lib/u-boot/qemu-riscv64_smode/uboot.elf ./uboot.elf
-
-cd ..
-qemu-img create -o backing_file=./dqib_riscv64-virt/image.qcow2,backing_fmt=qcow2 -f qcow2 overlay.qcow2
-