#!/bin/sh
# Build script for DF-1603 virtio_blk div-by-zero PoC (userspace harness).
# The kernel path itself cannot be triggered from inside the guest (it requires
# a malicious hypervisor/vhost-user/VFIO backend advertising blk_size=0 in
# virtio config space), so this harness reproduces the EXACT arithmetic of
# vtblk_alloc_disk() lines 702-709 to confirm the primitive.
set -e
cd "$(dirname "$0")"
cc -O2 -o df1603_poc df1603_poc.c
echo "Built df1603_poc"