ia64/xen-unstable

directory /extras/mini-os/lib/ @ 9788:bdcc838b9a72

name size permissions
[up] drwxr-xr-x
file math.c 10882 -rw-r--r--
file printf.c 20920 -rw-r--r--
file string.c 3158 -rw-r--r--
file xmalloc.c 5954 -rw-r--r--