Command-line arguments

The command bp can be followed by a sequence of arguments:
      bp {File |-Name Value}*
An argument can be the name of a binary file to be loaded into the system or a parameter name followed by a value. The following parameters are supported:

Neng-Fa Zhou 2013-01-25