kernel: Move GPL'd kernel files to sys/gnu to have them all in one place.
[dragonfly.git] / sys / platform / 
treec7f31111f8ebc906b9af8d722b1c1dab11bd7ad0
drwxr-xr-x   ..
drwxr-xr-x - pc32
drwxr-xr-x - pc64
drwxr-xr-x - vkernel
drwxr-xr-x - vkernel64