config: add num-work-ids command line option
authorGedare Bloom <gedare@rtems.org>
Thu, 10 Apr 2014 18:43:33 +0000 (13:43 -0500)
committerGedare Bloom <gedare@rtems.org>
Thu, 10 Apr 2014 18:43:33 +0000 (13:43 -0500)
commitca90a54476a45823c627ed2658211b5ca6dc4997
tree5f73e2ec806eb908656a836599e99452cc25b771
parent698c4c792d9dfbf7ade3dee68ce4993c596cc17d
config: add num-work-ids command line option
Adds the parameter --num-work-ids to Options.py and reads the parameter
into the System params in Simulation.py. This parameter enables setting
the number of possible work items to different than 16. Support for this
parameter already exists in src/sim/System.py, so this changeset only
affects the Python config files.

Committed by: Nilay Vaish <nilay@cs.wisc.edu>
configs/common/Options.py
configs/common/Simulation.py