tree 445b1b7b58cb1589589149cb955ce8d7f55c1e77
parent 391d68d79be126114e6f89162c1fb7cec07b292d
author yoshi <yoshi@onlab.us> 1390341847 -0800
committer yoshi <yoshi@onlab.us> 1390341847 -0800

Allow RAMCloud to start from a configurable option