direct-io.hg
directory /extras/mini-os/ @ 11437:7acaba46e15e
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 arch/
x86
|
drwxr-xr-x | |
|
console/
|
drwxr-xr-x | |
|
include/
|
drwxr-xr-x | |
|
lib/
|
drwxr-xr-x | |
|
xenbus/
|
drwxr-xr-x | |
 Makefile
|
3854 | -rw-r--r-- |
|
README
|
748 | -rw-r--r-- |
|
domain_config
|
750 | -rw-r--r-- |
|
events.c
|
4832 | -rw-r--r-- |
|
gnttab.c
|
4110 | -rw-r--r-- |
|
hypervisor.c
|
3170 | -rw-r--r-- |
|
kernel.c
|
6127 | -rw-r--r-- |
|
minios-x86_32.lds
|
836 | -rw-r--r-- |
|
minios-x86_64.lds
|
1066 | -rw-r--r-- |
|
mm.c
|
23715 | -rw-r--r-- |
|
sched.c
|
10693 | -rw-r--r-- |
|
time.c
|
6127 | -rw-r--r-- |
|
x86_32.S
|
7026 | -rw-r--r-- |
|
x86_64.S
|
8078 | -rw-r--r-- |