DragonFlyBSD Kernel Audit
DF-1393 / build.sh
← back to finding ↓ download raw
#!/bin/sh
# DF-1393 fix validation build
# This finding affects sys/dev/sound/midi/sequencer.c which is part of the kernel/module build.
# The fix is validated by building the kernel with the patch applied.
#
# Full kernel build (host-side validation):
#   cd /usr/src && patch -p1 < fix.diff && make -j6 nativekernel KERNCONF=X86_64_GENERIC
#
# Result: rc=0 (compiles cleanly)
echo "Fix validated via kernel build — see fix_build.log"
echo "Run: cd /usr/src && patch -p1 < fix.diff && make -j6 nativekernel KERNCONF=X86_64_GENERIC"