direct-io.hg

directory /extras/mini-os/ @ 13062:c6f637694b85

name size permissions
[up] drwxr-xr-x
dir. arch/ x86 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 4036 -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 4110 -rw-r--r--
file hypervisor.c 3170 -rw-r--r--
file kernel.c 4657 -rw-r--r--
file minios-x86_32.lds 836 -rw-r--r--
file minios-x86_64.lds 1066 -rw-r--r--
file mm.c 11740 -rw-r--r--
file sched.c 7123 -rw-r--r--
file time.c 5933 -rw-r--r--
file x86_32.S 7026 -rw-r--r--
file x86_64.S 8078 -rw-r--r--