direct-io.hg

directory /tools/domain_builder/ @ 203:6cdebb6f9876

name size permissions
[up] drwxr-xr-x
file Makefile 371 -rw-r--r--
file README 954 -rw-r--r--
file dom0_defs.h 195 -rw-r--r--
file dom0_ops.h 1813 -rw-r--r--
file dom_builder.c 13402 -rw-r--r--
file dom_kill.c 1054 -rw-r--r--
file hypervisor_defs.h 1187 -rw-r--r--
file mem_defs.h 1420 -rw-r--r--
file newdom 372 -rw-r--r--
file vifinit 596 -rw-r--r--