Стек LWIP предоставлен Adacore

Меня интересовал вопрос 1). перенос стека протоколов LWIP на ada или 2). использовать стек протоколов на C (как есть) и написать к нему интерфейс и мой драйвер Ethernet на Ada (меньше работы), но потом я обнаружил, что существует стек TCP/IP для голых плат:

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

Кто-нибудь пробовал стек или знает, как получить исходный код?

Заранее спасибо !


lwip ada gnat
person Elisabeth    schedule 11.02.2015    source источник
comment
У меня такое ощущение, что это часть профессиональных предложений Adacore. Насколько велик ваш бюджет?   -  person user_1818839    schedule 12.02.2015
comment
Я думал, что исходный код тоже был бесплатным и откуда-то скачивался. Я бы лучше оставил стек LWIP на C и написал его интерфейс на Ada. Спасибо за ваш отзыв!   -  person Elisabeth    schedule 12.02.2015

Ответы (2)


arrow_upward
1
arrow_downward

Я не пробовал стек, но почти уверен, что контракт на поддержку с AdaCore — единственный практичный способ получить исходный код. - Контракты на поддержку с AdaCore начинаются примерно с 15 тыс. евро в год.

Я был бы очень рад, если бы вы выбрали вариант 1 и опубликовали результат под лицензией Open Source, но если ваш бюджет ограничен, и вам не нужно официально документировать качество источника, то я думаю, что вариант 2 имеет больше смысла.

person Jacob Sparre Andersen    schedule 12.02.2015
comment
Я думал, что это бесплатное программное обеспечение и что мы можем получить исходный код, и они (Adacore) предоставляют нам поддержку для привязки стека к приложению, что мы уже сделали на C. Учитывая, что я потратил довольно много времени на портирование некоторых драйверы (SPI, DMA, GPIO) из библиотеки HAL STM32F2xx для Ады и написания демо на Аде, я бы выбрал вариант 2 для более быстрого решения. Если я когда-нибудь решу портировать LWIP на Аду, то обязательно выложу бесплатно. Спасибо за ваш отзыв! :) - person Elisabeth; 12.02.2015
comment
Я не уверен, что вы это говорите, но в любом случае просто поясню... То, что что-то находится под лицензией GPL, не обязывает правообладателя делать это доступным для всех и каждого. Если у вас есть бинарный продукт под лицензией GPL (например, приложение или библиотека), то у вас есть право на его исходный код. И если у вас есть исходный код под лицензией GPL, вы можете распространять его по своему усмотрению в соответствии с условиями этой лицензии, но не обязаны. - person Marc C; 12.02.2015

arrow_upward
1
arrow_downward

Вы можете получить ipstack AdaCore, загрузив SPARK GPL.

Найдите этот каталог: spark-gpl-2016-x86_64-linux-bin/share/examples/spark/ipstack.

См. также это объявление: http://www.spark-2014.org/entries/detail/spark-gpl-2015-now-available

person Maxim Reznik    schedule 02.09.2016