Adacore提供的LWIP堆栈

我在想1）。将LWIP协议栈移植到ada或2）。使用的协议栈中C（因为它是）及接口写入它和阿达（较少的工作）我的以太网驱动程序，但然后我发现存在对裸板一个TCP/IP堆栈：Adacore提供的LWIP堆栈

http://www.adacore.com/labs/tcp-ip-stack/category/embedded-development

有人试过堆栈或知道如何获得源代码？

在此先感谢！

来源

2015-02-11 Elisabeth

我有一种感觉，这是部分Adacore的专业产品。你的预算有多大？ – 2015-02-11 22:01:23

我认为源代码也是免费的，可以从某处下载。我宁愿将LWIP堆栈保存在C中，并将其接口写入Ada。感谢您的反馈意见！ – Elisabeth 2015-02-12 09:01:02

我还没有尝试过堆栈，但我很肯定与AdaCore的支持合同是获取源代码的唯一实用方法。 - 与AdaCore签订的合同开始时间大约为15 kEUR /年。

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

来源

2015-02-12 07:54:55

我认为这是免费软件，我们可以得到源代码，他们（Adacore）为我们提供了支持，将堆栈与应用程序绑定，这是我们已经在C中完成的。考虑到我花了相当多的时间移植一些从STM32F2xx HAL库到Ada的驱动程序（SPI，DMA，GPIO），并在Ada中编写演示程序，我会选择2作为更快的解决方案。如果我决定将LWIP移植到Ada，我肯定会免费发布它。感谢您的反馈意见！ :) – Elisabeth 2015-02-12 08:49:25

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

查找此目录：火花GPL-2016-x86_64的Linux的斌/股/例子/火花/ ipstack

参见此宣布： http://www.spark-2014.org/entries/detail/spark-gpl-2015-now-available

来源

2016-09-02 15:42:41

Adacore提供的LWIP堆栈

回答

相关问题