#!/bin/sh
# DF-3087 build + run (in guest as root)
set -x
cc -O -o /root/kerbd /root/kerbd.c || exit 1
killall nfsd 2>/dev/null
sleep 1
cd /root && ./kerbd 20497
echo "kerbd exited rc=$? -- if this line prints, guest survived (fixed kernel)"