#!/bin/sh
# DF-3385 build record (guest, root@dfbsd) -- untrimmed session output
# 1) baseline binary (stock kernel #0):
#    $ cc -O2 -Wall -o hfsc_initvf_null hfsc_initvf_null.c
#    (no diagnostics, exit 0)
# 2) fixed-kernel binary (same source after adding the rollback step):
#    $ cc -O2 -Wall -o /root/hfsc_initvf_null /root/hfsc_initvf_null.c && echo REBUILT
#    REBUILT
#
# Fixed-kernel build (validation):
#    $ cd /usr/src && make -j6 nativekernel KERNCONF=X86_64_GENERIC
#    make rc=0
#    --------------------------------------------------------------
#    >>> Kernel build for X86_64_GENERIC completed on Fri Sep 11 23:07:33 UTC 2026
#    --------------------------------------------------------------
#    -rwxr-xr-x  1 root  wheel  15705800 Sep 11 23:03 /usr/obj/usr/src/sys/X86_64_GENERIC/kernel.stripped
#    $ make installkernel KERNCONF=X86_64_GENERIC
#    install rc=0
#    >>> Kernel install for X86_64_GENERIC completed on Fri Sep 11 23:09:08 UTC 2026
echo "see header comment for the untrimmed build session output"