Adacore提供的LWIP堆栈

我想知道1）。将LWIP协议栈移植到ada或2）。使用C中的协议栈（按原样），并将接口写入其中，然后用Ada编写以太网驱动程序（工作量较小），但后来我发现存在一个用于裸板的TCP/IP栈：

有人尝试过堆栈或者知道如何获取源代码吗

---

提前谢谢

我还没有尝试过这个堆栈，但我非常确定，与AdaCore签订支持合同是获得源代码的唯一切实可行的方法。-与AdaCore签订的支持合同大约每年15千欧元

---

如果您选择选项1并在开源许可下发布结果，我会非常高兴，但如果您的预算受到限制，并且您不必正式记录源代码质量，那么我认为选项2最有意义。

您可以通过下载SPARK GPL获得AdaCore ipstack

查找此目录： spark-gpl-2016-x86_64-linux-bin/share/examples/spark/ipstack

另见本公告：

---

我感觉这是Adacore专业产品的一部分。你的预算有多大？我还以为源代码也是免费的，可以从某处下载。我宁愿将LWIP堆栈保存在C中，并将其接口写入Ada。谢谢你的反馈！我认为这是一个自由软件，我们可以得到源代码，他们（Adacore）为我们提供了针对应用程序绑定堆栈的支持，我们已经用C语言完成了这项工作。考虑到我花了相当长的时间将一些驱动程序（SPI、DMA、GPIOs）从STM32F2xx HAL库移植到Ada，并用Ada编写了一个演示程序，为了更快的解决方案，我会选择选项2。如果我在某个时候决定将LWIP移植到Ada，我肯定会免费发布它。感谢您的反馈！：）我不确定你是不是这么说，但我只是想澄清一下。。。根据GPL授权的内容并不要求版权持有人向任何人和所有人提供。如果您拥有GPL许可的二进制产品（如应用程序或库），则您有权使用其源代码。如果您拥有GPL许可的源代码，您可以在该许可的条款范围内自由分发，但没有义务这样做。