#!/bin/sh
# hammer until the guest panics (serial console shows
# "panic: semop - can't undo undos"); hard cap 240s
./undo_race_panic &
PID=$!
( sleep 240; kill -9 $PID 2>/dev/null ) &
wait $PID