direct-io.hg
directory /extras/mini-os/ @ 6804:1cdc469bf78d
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 include/
|
drwxr-xr-x | |
|
lib/
|
drwxr-xr-x | |
|
xenbus/
|
drwxr-xr-x | |
 Makefile
|
1463 | -rw-r--r-- |
|
README
|
748 | -rw-r--r-- |
|
domain_config
|
728 | -rw-r--r-- |
|
events.c
|
2503 | -rw-r--r-- |
|
hypervisor.c
|
3171 | -rw-r--r-- |
|
kernel.c
|
4725 | -rw-r--r-- |
|
minios-x86_32.lds
|
1060 | -rw-r--r-- |
|
minios-x86_64.lds
|
1081 | -rw-r--r-- |
|
mm.c
|
15993 | -rw-r--r-- |
|
sched.c
|
9113 | -rw-r--r-- |
|
time.c
|
6071 | -rw-r--r-- |
|
traps.c
|
5466 | -rw-r--r-- |
|
x86_32.S
|
7733 | -rw-r--r-- |
|
x86_64.S
|
4675 | -rw-r--r-- |