Good morning,
I run Debian Buster on a Raspberry Pi 4. However there is no "Boards Manager" under "Tools -> Board".
Any pointers?
Thank you
Did you install the IDE from the repository? Or download from https://www.arduino.cc/en/Main/Software?
The former is severely outdated and might not support board manager; don't know for sure.
I got it from the repository 