aibs(4): use ACPI_INTEGER and PRIx64; suggested by Jukka Ruohonen
[dragonfly.git] / share / doc /
drwxr-xr-x   ..
drwxr-xr-x - IPv6
-rw-r--r-- 407 Makefile
drwxr-xr-x - papers
drwxr-xr-x - psd
drwxr-xr-x - smm
drwxr-xr-x - usd