reduce total memory available down a little in set_limit;
[charm.git] / src / arch / vmi / 
treec830da9909ccf4b6d7f73720e6578aa5ba0a133d
drwxr-xr-x   ..
drwxr-xr-x - CRM
-rw-r--r-- 3335 conv-common.h
-rwxr-xr-x 50 gather.tree
-rw-r--r-- 165578 machine.c
-rw-r--r-- 23197 machine.h