Merge branch 'fix/deploy' into 'develop'

fix double devices in board interface



See merge request !8

source/scripts/board_interface.py

@@ -16,6 +16,7 @@ def parse_board_file(boardfile):
         if match("^.*struct driver.*$", line):
             line = sub("^.*struct driver", "", line).strip()
             line = sub(" .*$","",line).strip()
+            if not line in ret:
                 ret.append(line)
     return ret