freebsd/sys/amd64
..
acpica
amd64
conf
ia32
include
linux
linux32
pci
sgx
vmm
Makefile