1#!/bin/bash
2
3set -ex
4
5# Run the test
6rm -f smoke.serial
7set +e
8
9timeout -k 1 2 \
10qemu-system-riscv64 \
11    -M virt \
12    -smp 1 \
13    -nographic \
14    -m 2g \
15    -kernel binaries/xen \
16    |& tee smoke.serial | sed 's/\r//'
17
18set -e
19(grep -q "All set up" smoke.serial) || exit 1
20exit 0
21