ia64/xen-unstable

directory /extras/mini-os/lib/ @ 3017:d0006e7baa9a

name size permissions
[up] drwxr-xr-x
file malloc.c 186940 -rw-r--r--
file math.c 10878 -rw-r--r--
file printf.c 11056 -rw-r--r--
file string.c 2980 -rw-r--r--