ia64/xen-unstable

directory /extras/mini-os/ @ 830:c0eefee27220

name size permissions
[up] drwxr-xr-x
dir. h/ drwxr-xr-x
dir. lib/ drwxr-xr-x
file COPYING 18009 -rw-r--r--
file Makefile 1396 -rw-r--r--
file README 787 -rw-r--r--
file entry.S 8710 -rw-r--r--
file events.c 2356 -rw-r--r--
file head.S 984 -rw-r--r--
file hypervisor.c 3251 -rw-r--r--
file kernel.c 3541 -rw-r--r--
file mm.c 11253 -rw-r--r--
file time.c 4002 -rw-r--r--
file traps.c 7170 -rw-r--r--
file vmlinux.lds 1792 -rw-r--r--