direct-io.hg

directory /tools/domain_builder/ @ 399:47d2a4460ed1

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 dom_builder.c 15259 -rw-r--r--
file dom_kill.c 1295 -rw-r--r--
file hypervisor_defs.h 1187 -rw-r--r--
file mem_defs.h 1420 -rw-r--r--
file mynewdom 1964 -rwxr-xr-x
file newdom 535 -rwxr-xr-x
file vifinit 635 -rwxr-xr-x