Pull in a few bits from FreeBSD. Add a structure size field and floating
[dragonfly.git] / sys / platform / vkernel /
drwxr-xr-x   ..
-rw-r--r-- 172 Makefile.inc
drwxr-xr-x - conf
drwxr-xr-x - i386
drwxr-xr-x - include
drwxr-xr-x - platform