#!/usr/bin/env bash

set -x

KERNEL=$1
shift

qemu-system-riscv64 \
    -nographic \
    -machine virt \
    -bios none \
    -m 3G \
    -d trace:exec_tb \
    -kernel "$KERNEL"

    # -smp 3 \
    # -device virtio-blk-device,drive=x0,bus=virtio-mmio-bus.0 \