From ae2d3a85708bf1840fe24c4c34797c05a64ac3c3 Mon Sep 17 00:00:00 2001 From: Pierre Kancir Date: Fri, 7 Jan 2022 14:10:14 +0100 Subject: [PATCH] Tools: add blue and bbbmini to firmware server --- Tools/scripts/board_list.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Tools/scripts/board_list.py b/Tools/scripts/board_list.py index a0f69046d1..3f3ddfb146 100755 --- a/Tools/scripts/board_list.py +++ b/Tools/scripts/board_list.py @@ -35,6 +35,8 @@ class BoardList(object): Board("edge"), Board("obal"), Board("pxf"), + Board("bbbmini"), + Board("blue"), Board("pxfmini"), Board("SITL_x86_64_linux_gnu"), Board("SITL_arm_linux_gnueabihf"),