ia64/xen-unstable

directory /extras/mini-os/ @ 9917:42c73f3d7ac1

name size permissions
[up] 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 1466 -rw-r--r--
file README 748 -rw-r--r--
file domain_config 750 -rw-r--r--
file events.c 3382 -rw-r--r--
file hypervisor.c 3170 -rw-r--r--
file kernel.c 5529 -rw-r--r--
file minios-x86_32.lds 843 -rw-r--r--
file minios-x86_64.lds 1081 -rw-r--r--
file mm.c 17873 -rw-r--r--
file sched.c 10722 -rw-r--r--
file time.c 6100 -rw-r--r--
file traps.c 7078 -rw-r--r--
file x86_32.S 7399 -rw-r--r--
file x86_64.S 10475 -rw-r--r--