Ada_Drivers_Library:适用于GNAT支持的选定裸板平台的Ada源代码和完整的GNAT示例项目

1.简介 该存储库包含用于使用Ada和SPARK语言对微控制器进行编程的驱动程序和示例项目。 该库还为传感器等外部设备提供了一些中间件服务和驱动程序。 我们打算将其作为AdaCore和整个社区的场所，以为其他处理器，平台和供应商提供支持。 2.支持的硬件 Ada_Drivers_Library为ARM Cortex-M和RISC-V体系结构中的各种设备提供支持。 某些设备仅部分受支持。 进入以获取支持的硬件列表。 3.开始 要开始使用Ada_Drivers_Library，请转到，在其中您将找到运行第一个项目的说明。 4.执照 所有文件均以3条款Berkeley软件分发（BSD）许可提供。 这样，在许可要求的条件下，这些文件可用于专有（“商业”）和非专有用途。 有关详细信息，请参见根目录中的LICENSE文件。 5.要求 该软件是用Ada 2012编写的，并且使用了例如前置条件，后置条件