1#!/bin/bash
2
3set -ex
4
5serial_log="$(pwd)/smoke.serial"
6
7# machine type from first arg passed directly to qemu -M
8machine=$1
9
10# Run the test
11rm -f ${serial_log}
12set +e
13
14timeout -k 1 20 \
15qemu-system-ppc64 \
16    -bios skiboot.lid \
17    -M $machine \
18    -m 2g \
19    -smp 1 \
20    -vga none \
21    -monitor none \
22    -nographic \
23    -serial stdio \
24    -kernel binaries/xen \
25    |& tee ${serial_log} | sed 's/\r//'
26
27set -e
28(grep -q "Hello, ppc64le!" ${serial_log}) || exit 1
29exit 0
30