#!/bin/bash

if hash qemu-riscv64 2>/dev/null; then
	exec qemu-riscv64 "$@"
else
	exec spike pk "$@"
fi
