#!/bin/sh
# DF-2832: build + stock race run (host-side driver).
# Copies sources into the guest via scp, compiles guest-native,
# runs the race on the STOCK kernel, captures logs.
set -e
SSHOPTS="-F dfbsd-qemu/config -o ConnectTimeout=8 -o BatchMode=yes"
G=/tmp/df2832
ssh $SSHOPTS dfbsd "rm -rf $G && mkdir -p $G"
scp $SSHOPTS findings/poc/DF-2832/dirty_writer.c findings/poc/DF-2832/race_stock.csh dfbsd:$G/ >/dev/null
ssh $SSHOPTS dfbsd "cc -O2 -o $G/dirty_writer $G/dirty_writer.c && chmod 755 $G/race_stock.csh && echo BUILD-OK"
echo '=== running stock race (few minutes) ==='
ssh $SSHOPTS dfbsd "csh $G/race_stock.csh 40" 2>&1 | tail -6