added +useMemorypoolSize to set mempool size.
authorGengbin Zheng <gzheng@illinois.edu>
Fri, 16 Sep 2011 14:22:49 +0000 (07:22 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Fri, 16 Sep 2011 14:22:49 +0000 (07:22 -0700)
commit18f8daf4fc23fc298275bddea26f6c46eed1cdde
tree86cb65ee8f0ee2c659909da385ccc02f716b66f7
parent6edeeb585bef4d8f837dc91176eea644c589c542
added +useMemorypoolSize to set mempool size.
src/arch/gemini_gni/machine.c