I'm compiling a "master list" of board packages for the Arduino IDE.
At the moment I have:
- BBC Microbit etc
- Little Green LGT8fx
- Open Panzer TCB
- Sparkfun Boards
If anyone knows of any more (the more obscure the better, even if it's just for one single board) please let me know in answers / comments.
arduino-clias the compilation back-end, and want to have a way of selecting the boards / cores without you having to go hunting for them.