我想知道1）。将LWIP协议栈移植到ada或2）。使用C中的协议栈（原样）并在Ada中编写接口和我的以太网驱动程序（少工作），但后来我发现裸板上有一个TCP / IP堆栈：
http://www.adacore.com/labs/tcp-ip-stack/category/embedded-development
有人试过堆栈或知道如何获取源代码吗？
提前致谢！
答案 0 :(得分：1)
我还没有尝试过堆栈，但我很确定与AdaCore的支持合同是获取源代码的唯一实用方法。 - 与AdaCore的支持合同从每年15 kEUR开始。
如果您选择选项1并在开源许可下发布结果，我将非常高兴，但如果您的预算受到限制，并且您不必正式记录源质量，那么我认为选项2最有意义的。
答案 1 :(得分：1)
您可以通过下载SPARK GPL获得AdaCore ipstack。
查找此目录： 火花GPL-2016-x86_64的Linux的槽/共享/示例/火花/ ipstack
另见本宣布： http://www.spark-2014.org/entries/detail/spark-gpl-2015-now-available