direct-io.hg

directory /extras/mini-os/ @ 15516:fa9fa5f98c91

name size permissions
[up] drwxr-xr-x
dir. arch/ drwxr-xr-x
dir. console/ drwxr-xr-x
dir. include/ drwxr-xr-x
dir. lib/ drwxr-xr-x
dir. xenbus/ drwxr-xr-x
file Makefile 3144 -rw-r--r--
file README 738 -rw-r--r--
file domain_config 750 -rw-r--r--
file events.c 5148 -rw-r--r--
file gnttab.c 3968 -rw-r--r--
file hypervisor.c 3173 -rw-r--r--
file kernel.c 4819 -rw-r--r--
file minios.mk 2204 -rw-r--r--
file mm.c 11773 -rw-r--r--
file netfront.c 10802 -rw-r--r--
file sched.c 7687 -rw-r--r--