⬢ DragonFlyBSD Kernel Audit
DF-5421 / env.txt
← back to finding ↓ download raw
DragonFly dfbsd 6.5-DEVELOPMENT DragonFly 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026     root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
cc 8.3 [DragonFly] Release/2019-02-22
hz=100 (from harness banner: "harness, hz=100, 12 reqs/param-task, 2 reqs/open-task, 1000 ms/request")
kern.msgbuf: dmesg ring sufficient for all harness output
audit target: sys/bus/u4b/serial/uchcom.c
  pristine md5 (host sys/ and guest /usr/src before AND after): 3616dd7e880405bb1eeb0271b4be6712
  patched (fix.diff applied) md5: cc08d58eb9ad13a54ed646c873d862bb
no CH340/CH341 USB device model on the QEMU guest -> KLD-harness-with-production-code
evidence class (same as DF-5367/DF-5383/DF-5407): the harness drives the production
usb_process taskqueue machinery (usb_proc_create/msignal/mwait/free) that ucom's
synchronous close and detach drain go through, with uchcom's production request
counts (12 per cfg_param task, 2 per cfg_open task) and the production 1000 ms
control-request timeout (uchcom.c:382,398).