(My intention was to track the system calls of t_aio, but what I typed would actually disable all traces from all process to the t_aio file.)
# Setup a vkernel
-To setup a vkernel, please consult this [man page](http://leaf.dragonflybsd.org/cgi/web-man?command=vkernel§ion=ANY).
+To setup a vkernel, please consult [this man page](http://leaf.dragonflybsd.org/cgi/web-man?command=vkernel§ion=ANY).
It's very straightforward.
+
# Reproduce the problem
We boot into our vkernel: