⬢ DragonFlyBSD Kernel Audit
DF-4800 / run.sh
← back to finding ↓ download raw 
1
2
3
4
#!/bin/sh
# DF-4800 run (see VERDICT.md for preconditions)
cd "$(dirname "$0")"
guest with a second virtio disk: QEMU_EXTRA='-drive file=extra_async.qcow2,if=virtio,format=qcow2'; sh setup_async.sh && sh run.sh (2 racers x 150 VINUM_SETSTATE(object_up,blocksize=4096) ioctls + single-reviver finish + data-window compare)