参考：https://www.cnblogs.com/hilary0614/p/libraries.html
https://jingyan.baidu.com/article/9f7e7ec09d90906f281554e1.html，开发板管理器和管理库区别
Arduino 经常推出新的控制器，这些新的控制器可能不在现有的板子型号中，但是可以使用 Arduino IDE 自带的开发板管理器进行添加

第一种方式，并不能安装全部的固件库

在https://arduino.me/download下载一些常用的离线库，速度很快。不建议直接在IDE（这个编程使用的环境）中点击安装，很大可能耗时还最后安装失败（个人尝试过）。下载后的文件是exe，直接点击双击安装就行，然后就可以在IDE中看到安装的固件库

第二种方式，使用GitHub下载zip进行安装

参:https://blog.csdn.net/weixin_42880082/article/details/119481511
一个加速访问github的插件：https://fhefh2015.github.io/Fast-GitHub/（自己有方式就忽略这行）

设置正确的开发板管理器网络地址（json）

查找需要的库文件

通过IDE的开发板管理，上步的网址一定要确认写入，否则搜不到对应的固件库，看到自己想要使用的固件库，点击更多信息，跳转到GitHub，默认是master，需要选tag，选择一个合适版本。

下载和添加到固件库

下载zip文件到本地，把文件解压到一个文件夹中（可以自己命名），把这个文件夹放在C:\Users\Administrator\AppData\Local\Arduino15\packages路径下。重启IDE后，再次添加开发板时会发现已经有了这个


上图中显示ESP8266 Boards…的东西，如果想正常显示可以修改解压文件platform.txt中的名字参数