#!/usr/bin/env bash

KERNEL=$1
shift

qemu-system-riscv64 \
    -nographic \
    -machine virt \
    -bios none \
    -m 3G \
    -smp 3 \
    # -drive file=fs.img,if=none,format=raw,id=x0 \
    -device virtio-blk-device,drive=x0,bus=virtio-mmio-bus.0 \
    -kernel "$KERNEL"