#!/bin/bash

set -ex -o pipefail

# Run the test
rm -f smoke.serial

export TEST_CMD="qemu-system-riscv64 \
    -M virt,aia=aplic-imsic \
    -cpu rv64,svpbmt=on \
    -smp 1 \
    -nographic \
    -m 2g \
    -kernel binaries/xen"

export TEST_LOG="smoke.serial"
export PASSED="All set up"

./automation/scripts/console.exp |& sed 's/\r\+$//'
