kernel: Remove kernel profiling bits.
[dragonfly.git] / sys / platform / 
treec499053a169fca82d1abe2bb587dae76eed37dad
drwxr-xr-x   ..
drwxr-xr-x - pc64
drwxr-xr-x - vkernel64