In the meantime, I'd highly recommend PlatformIO over the Arduino IDE for writing code for embedded- besides having a much nicer UX, (they recommend using their VSCode extension, which is great, but they also have extensions for a dozen other IDEs) it natively supports way more boards and frameworks.