Document the use of SDT_SYS386IGT vs SDT_SYS386TGT when setting up the
[dragonfly.git] / sys / platform /
drwxr-xr-x   ..
drwxr-xr-x - pc32
drwxr-xr-x - vkernel