内容简介：These steps will install the example and an Ada runtime into the Arduino libraries. The runtime is theAn Arduino sketch to open the example is in the cloned repository inThis article describes a proof of concept to run Ada on a new platform using GNATs nov
The ESP8266 micro controller by Espressif Systems is one of the cheapest MCUs that support WiFi. This makes it a popular device for wireless IoT applications. It is based on the configurable Tensilica Xtensa architecture that is also used in digital signal processors. The main programming language for this controller is C. This is largely due to the fact that the limited set of toolchains is based on old GCC versions. Except for an experimental custom GCC 5 there was virtually no compiler support for Ada on this platform.
Building an Ada compiler for Xtensa
Not long ago, AdaCore published itsLLVM frontend for GNAT. Also quite recently Espressif updated their LLVM backend to LLVM 9 which also happens to be the LLVM version of GNAT. This gave me to the idea to try out if LLVMs promise of providing modular and reusable toolchain technologies is true.
To test if I was able to build a custom compiler I created a fork of AdaCores LLVM frontend and switched the original backend with the one provided by Espressif. After some tinkering with build options, versions and include paths I was able to build a compiler that was able to compile binaries for both X86 and Xtensa. Running the following command creates an object file that can be linked into an existing binary and executed on an ESP8266:
$ llvm-gnatmake -c unit.adb -cargs --target=xtensa -mcpu=esp8266
Running Ada code on the target
With this compiler we can create object files that will run on the 32bit Xtensa architecture for either the ESP8266 or the ESP32. But object files alone don't run on the target so we have to create a binary first. For a pure Ada application that runs on bare metal, we would have to implement a set of drivers from the chipset specification in Ada. However, to show that Ada code compiled into an object file can run on this chip it is sufficient to link it against an existing SDK that already contains all the support and startup code.
There are multiple SDKs available for the ESP8266, the ESP8266_RTOS_SDK by Espressif, the esp-open-sdk which focuses on the use of only free software and the ESP8266 core for Arduino which provides support for the Arduino IDE. All of these bring their own toolchain and have it integrated into their build systems. This makes it difficult to add new languages which require custom compilers.
I've chosen the Arduino SDK as the Arduino environment allows it to include prebuilt static libraries. To install the ESP8266 SDK for Arduino I recommend following the instructions in the README of the project.
Running it on the device
I prepared a small example
that prints on the serial console. To compile it clone it into the libraries folder of your Arduino installation and compile it there. The GNAT LLVM binaries have to be in the PATH
environment. These can either be compiled as described in the README
or simply download the precompiled binaries
. Be aware that building the compiler yourself might require significant amounts of RAM and take a long time.
$ cd /path/to/Arduino/libraries $ git clone --recursive https://github.com/jklmnn/esp8266-ada-example.git $ cd esp8266-ada-example $ make
These steps will install the example and an Ada runtime into the Arduino libraries. The runtime is the Componolit ada-runtime which has support for the ESP8266 on Arduino. It also provides a logging facility that prints onto the serial line.
An Arduino sketch to open the example is in the cloned repository in esp8266-ada-example/esp8266-ada-example.ino
When both the example and the runtime have been built this sketch can be built and flashed directly from the IDE. I have tested this with the LiLon NodeMCU V3 and the WeMos D1 mini boards but it should work on every board as it used the on chip serial capabilities. After connecting to the serial port opened by the device one should see that it prints "Make with Ada!" in an endless loop.
$ screen /dev/ttyUSB0 115200 Make with Ada! Make with Ada! Make with Ada! Make with Ada!
This article describes a proof of concept to run Ada on a new platform using GNATs novel LLVM backend. To use it productively the Ada language needs to be supported in the Arduino environment which currently is not the case. Furthermore the current approach includes binary blobs from the manufacturer as well as drivers written in C from the Arduino environment.
A more interesting, although far more challenging, task would be an SDK purely in Ada or even SPARK which would enable the creation of secure embedded and WiFi-enabled devices.
以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持 码农网
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
Wireshark网络分析实战
[以色列 Yoram Orzach / 古宏霞、孙余强 / 人民邮电出版社 / 2015-1 / 79.00元
本书采用步骤式为读者讲解了一些使用Wireshark来解决网络实际问题的技巧。 本书共分为14章，其内容涵盖了Wireshark的基础知识，抓包过滤器的用法，显示过滤器的用法，基本/高级信息统计工具的用法，Expert Info工具的用法，Wiresahrk在Ethernet、LAN及无线LAN中的用法，ARP和IP故障分析，TCP/UDP故障分析，HTTP和DNS故障分析，企业网应用程序行......一起来看看 《Wireshark网络分析实战》 这本书的介绍吧!
