From da628904d39a1de43462653003b517d674e3fd22 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Wed, 21 Jun 2023 17:31:19 +0200
Subject: [PATCH] Report is_hidden field in board identification

---
 commands/board/list.go | 1 +
 1 file changed, 1 insertion(+)

diff --git a/commands/board/list.go b/commands/board/list.go
index 7d2c11f0fb2..2b3ff3f3893 100644
--- a/commands/board/list.go
+++ b/commands/board/list.go
@@ -159,6 +159,7 @@ func identify(pme *packagemanager.Explorer, port *discovery.Port) ([]*rpc.BoardL
 		boards = append(boards, &rpc.BoardListItem{
 			Name:     board.Name(),
 			Fqbn:     fqbn.String(),
+			IsHidden: board.IsHidden(),
 			Platform: platform,
 		})
 	}