diff --git a/spinnman/spinnman.cfg b/spinnman/spinnman.cfg index e530f855f..d5df9e6ac 100644 --- a/spinnman/spinnman.cfg +++ b/spinnman/spinnman.cfg @@ -1,25 +1,15 @@ -# Adds or overwrites values in SpiNNMachine/spinn_machine/spinn_machine.cfg -# Which in turn adds or overwrites values in SpiNNUtils/spinn_utilities/spinn_utilities.cfg +# DO NOT EDIT! +# The are the default values +# Edit the cfg in your home directory to change your preferences +# Add / Edit a cfg in the run directory for script specific changes + +# Adds to values in SpiNNMachine/spinn_machine/spinn_machine.cfg +# Which in turn adds values in SpiNNUtils/spinn_utilities/spinn_utilities.cfg # This is a place holder for any future SpiNNMan level cfg settings [Machine] -# machine name is typically a URL and then version is required -machine_name = None - # When True if any non ethernet chip claims it has a IP address this is logged and ignored # When False the whole chip is removed ignore_bad_ethernets = True report_waiting_logs = False turn_off_machine = False - -# format is: -# bmp_names = [/(|board_id[,board_id]*) -# = - -# where: -# is the hostname or IP address of the BMP -# is a range of boards that the BMP can speak to -# is the ID of a single board in a frame -# Note this no longer supports multiple host nor cabinet or frame -bmp_names = None - -auto_detect_bmp = False