ps.1: Update FILES section a bit.
[dragonfly.git] / sys / platform / 
tree9ac35b0e08918de21c105f43633a2acc7daf7456
drwxr-xr-x   ..
drwxr-xr-x - pc64
drwxr-xr-x - vkernel64