diff --git a/arduino-ide-extension/src/browser/boards/boards-auto-installer.ts b/arduino-ide-extension/src/browser/boards/boards-auto-installer.ts
index 60cb54a00..63dc6f2b0 100644
--- a/arduino-ide-extension/src/browser/boards/boards-auto-installer.ts
+++ b/arduino-ide-extension/src/browser/boards/boards-auto-installer.ts
@@ -44,9 +44,10 @@ export class BoardsAutoInstaller implements FrontendApplicationContribution {
   }
 
   protected ensureCoreExists(config: BoardsConfig.Config): void {
-    const { selectedBoard } = config;
+    const { selectedBoard, selectedPort } = config;
     if (
       selectedBoard &&
+      selectedPort &&
       !this.notifications.find((board) => Board.sameAs(board, selectedBoard))
     ) {
       this.notifications.push(selectedBoard);