66c66
< as the kernel instead of the default ``/vmunix''.
---
> as the kernel instead of the default ``/kernel''.
80c80
< .Ar directory Ns Pa /vmunix.#
---
> .Ar directory Ns Pa /kernel.#
110,111c110,111
< .Bl -tag -width /vmunixxx -compact
< .It Pa /vmunix
---
> .Bl -tag -width /kernelxx -compact
> .It Pa /kernel