change VKERNEL default to VKERNEL64
[ikiwiki.git] / docs / howtos / HowToDPorts /
drwxr-xr-x   ..
-rw-r--r-- 14740 index.mdwn