From 2c951157e8f65efe7774cc8504925d45950a582b Mon Sep 17 00:00:00 2001
From: "Christian Y. Brenninkmeijer"
 <christian.brenninkmeijer@manchester.ac.uk>
Date: Thu, 20 Jun 2024 11:49:55 +0100
Subject: [PATCH] bmp options moved

---
 spinnman/spinnman.cfg | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/spinnman/spinnman.cfg b/spinnman/spinnman.cfg
index 341d73113..9fd2059b9 100644
--- a/spinnman/spinnman.cfg
+++ b/spinnman/spinnman.cfg
@@ -8,15 +8,3 @@
 ignore_bad_ethernets = True
 report_waiting_logs = False
 turn_off_machine = False
-
-# format is:
-#     bmp_names     = <host>[/(<board-range>|board_id[,board_id]*)
-#     <board_range> = <board_id>-<board_id>
-# where:
-#     <host> is the hostname or IP address of the BMP
-#     <board_range> is a range of boards that the BMP can speak to
-#     <board_id> 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