ia64/xen-unstable

directory /extras/mini-os/ @ 6386:a3822cb3b2b3

name size permissions
[up] drwxr-xr-x
dir. include/ drwxr-xr-x
dir. lib/ drwxr-xr-x
file Makefile 1315 -rw-r--r--
file README 787 -rw-r--r--
file events.c 2426 -rw-r--r--
file hypervisor.c 3171 -rw-r--r--
file kernel.c 4618 -rw-r--r--
file minios-x86_32.lds 1060 -rw-r--r--
file minios-x86_64.lds 1081 -rw-r--r--
file mm.c 9996 -rw-r--r--
file time.c 6018 -rw-r--r--
file traps.c 6624 -rw-r--r--
file x86_32.S 7733 -rw-r--r--
file x86_64.S 4675 -rw-r--r--