ia64/xen-unstable

directory /extras/mini-os/lib/ @ 1041:7c3b17193b4b

name size permissions
[up] drwxr-xr-x
file malloc.c 187005 -rw-r--r--
file math.c 10899 -rw-r--r--
file printf.c 11005 -rw-r--r--
file string.c 2976 -rw-r--r--