I brought Arduino portenta machine control, I am trying to install Arduino 1.8.19 and mbed but I couldn't found the Mbed tools in tool manager.
Hi @ash4arduino. Please do this:
- Click the following link to open the documentation page for the Portenta Machine Control:
https://docs.arduino.cc/hardware/portenta-machine-control - Click the "SETUP GUIDE" button on the documentation page.
- Follow the setup guide to set up Arduino IDE for use with the Portenta Machine Control.
Please let me know if you have any questions or problems while following those instructions.
I did this procedure , by selecting tools> board>Boards Manager, new window is not displaying all available cores like mbed, it is only showing already installed ones, mbed cores are not getting displayed
I'm going to ask you to post some additional information that might help us to identify the problem.
Please do this:
- Select File > Quit from the Arduino IDE menus if it is running.
- Start Arduino IDE.
- Select Tools > Board > Boards Manager from the Arduino IDE menus.
The "Boards Manager" dialog will open. - Wait for any index operations indicated by the progress bar at the bottom of the "Boards Manager" dialog to finish or fail.
- Click the Close button.
- You should see that some text was printed in the black output panel at the bottom of the Arduino IDE window during the previous steps. Click on that panel.
- Press Ctrl+A.
This will select all the text in the output panel. - Press Ctrl+C.
This will copy the selected text to the clipboard. - Open a forum reply here by clicking the Reply button.
- Click the
<CODE/>icon on the post composer toolbar. This will add the forum's code block markup (```) to your reply to make sure the error messages are correctly formatted.

- Press Ctrl+V.
This will paste the copied text into the code block. - Move the cursor outside of the code block markup before you add any additional text to your reply.
- Click the Reply button to post the output.
Error downloading https://github.com/arduino-libraries/Arduino_MachineControl
Error downloading https://downloads.arduino.cc/packages/package_index.json
This certainly isn't right. Maybe it is the cause of the other problem so we'll start by cleaning up that mess. Please do this:
- Select File > Preferences... from the Arduino IDE menus.
The "Preferences" dialog will open. - Delete the incorrect URL from the "Additional Boards Manager URLs" field of the "Preferences" dialog:
https://github.com/arduino-libraries/Arduino_MachineControl - Click the OK button in the "Preferences" dialog.
- Click the following link to open the documentation page for the Portenta Machine Control:
https://docs.arduino.cc/hardware/portenta-machine-control - Click the "SETUP GUIDE" button on the documentation page.
- Follow the setup guide to set up Arduino IDE for use with the Portenta Machine Control.
Hopefully this time you will find the "Arduino Mbed OS Portenta Boards" platform listed in the "Boards Manager" dialog.
Please let me know if you have any questions or problems while following those instructions.
I have followed as per the steps listed, but no change.
I'm going to ask you to post some additional information that might help us to identify the problem.
Please do this:
- Select File > Quit from the Arduino IDE menus if it is running.
- Start Arduino IDE.
- Select Tools > Board > Boards Manager from the Arduino IDE menus.
The "Boards Manager" dialog will open. - Wait for any index operations indicated by the progress bar at the bottom of the "Boards Manager" dialog to finish or fail.
- Click the Close button.
- You should see that some text was printed in the black output panel at the bottom of the Arduino IDE window during the previous steps. Click on that panel.
- Press Ctrl+A.
This will select all the text in the output panel. - Press Ctrl+C.
This will copy the selected text to the clipboard. - Open a forum reply here by clicking the Reply button.
- Click the
<CODE/>icon on the post composer toolbar. This will add the forum's code block markup (```) to your reply to make sure the error messages are correctly formatted.

- Press Ctrl+V.
This will paste the copied text into the code block. - Move the cursor outside of the code block markup before you add any additional text to your reply.
- Click the Reply button to post the output.
Error downloading https://downloads.arduino.cc/packages/package_index.json
Does Arduino IDE have access to the Internet?
Is your firewall configured to allow Arduino IDE to download things from the Internet?
yes, Arduino is having access to Internet and Arduino is configured to download things.
Is there a specific reason you are using Arduino IDE 1.8.19 instead of the latest version 2.1.1? I ask because Arduino IDE 1.8.19 is not giving us any information about the reason for the failed downloads, which makes it difficult to progress with troubleshooting. I don't have any specific reason to think the problem won't also occur when using Arduino IDE 2.1.1 (though it is certainly worth a try), but I do suspect that version of the IDE will probably provide a more detailed error message when the download fails.
The Arduino IDE 2.x download links are listed here: