K 10
svn:author
V 2
dg
K 8
svn:date
V 27
1996-12-12T04:20:50.000000Z
K 7
svn:log
V 141
Fix allocation for exech_map to be 16*PAGE_SIZE rather than 32*PAGE_SIZE
so that it is scaled the same as exec_map (16 concurrent exec'ers).

END