# rig build (guest, stock kernel): cd /root/df5642 && make -f Makefile SYSDIR=/usr/src/sys
Warning: Object directory not changed from original /root/df5642
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/device_if.m
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/kern/bus_if.m
awk -f dragonfly/tools/makeobjops.awk -- -h dragonfly/bus/smbus/smbus_if.m
cc -O2 -pipe -D_KERNEL -Wall ... -Werror -DKLD_MODULE -nostdinc -c df5642_rig.c
ld -d -warn-common -r -d -o df5642_rig.ko df5642_rig.o
> df5642_rig.ko (15440 bytes)
cc -O -o df5642ctl df5642ctl.c
# (two earlier iterations fixed: missing <sys/ioccom.h> include for _IOWR,
# forward declarations for the dev_ops handlers, and a 64-bit respond mask;
# the final source in this pack builds clean with -Werror)

# fix-validation kernel build (guest, patched sys/bus/smbus/smbus.c):
cd /usr/src && patch -p1 < /root/fix.diff
  Hunk #1 succeeded at 29. Hunk #2 succeeded at 90. Hunk #3 succeeded at 119.
cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_GENERIC
>>> Kernel build for X86_64_GENERIC completed on Fri Oct  9 04:58:10 UTC 2026 (RC=0)
cd /usr/src && make installkernel KERNCONF=X86_64_GENERIC
>>> Kernel install for X86_64_GENERIC completed on Fri Oct  9 04:59:49 UTC 2026