DF-2532 / build.log
DF-2532 DMSG Userland PoC Build Log ===================================== Source: df2532.c (userland DMSG peer that races span deletion against probe reads) Build: cc -o df2532 df2532.c -Wall Result: BUILD_RC=0 (compiles cleanly on DragonFly 6.5-DEVELOPMENT) Note: The userland PoC creates a DMSG peer via socketpair + XDISKIOCATTACH, sends LNK_SPAN CREATE/DELETE, and races span removal against the kernel's async disk label probe. The race is timing-dependent; the harness module (df2532_harness.ko) provides the deterministic KKASSERT demonstration.