diff --git a/arduino-ide-extension/src/browser/boards/boards-service-client-impl.ts b/arduino-ide-extension/src/browser/boards/boards-service-client-impl.ts
index 638beafa..e565fd92 100644
--- a/arduino-ide-extension/src/browser/boards/boards-service-client-impl.ts
+++ b/arduino-ide-extension/src/browser/boards/boards-service-client-impl.ts
@@ -195,7 +195,12 @@ export class BoardsServiceClientImpl implements BoardsServiceClient, FrontendApp
             return compareAnything(leftLabel, rightLabel, lookFor);
         }
         const normalizedQuery = query.toLowerCase();
-        return boards.filter(coresFilter).map(toMatch).sort((left, right) => compareEntries(left, right, normalizedQuery)).map(({ board }) => board);
+        return boards
+            .filter(coresFilter)
+            .map(toMatch)
+            .filter(({ matches }) => !!matches)
+            .sort((left, right) => compareEntries(left, right, normalizedQuery))
+            .map(({ board }) => board);
     }
 
     get boardsConfig(): BoardsConfig.Config {