From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Received: by 10.107.1.9 with SMTP id 9mr4989247iob.23.1459343595552; Wed, 30 Mar 2016 06:13:15 -0700 (PDT) X-Received: by 10.182.80.74 with SMTP id p10mr89696obx.8.1459343595410; Wed, 30 Mar 2016 06:13:15 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!nt3no5964783igb.0!news-out.google.com!ha2ni98igb.0!nntp.google.com!nt3no5964779igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 30 Mar 2016 06:13:15 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.80.116; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S NNTP-Posting-Host: 165.225.80.116 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <7903b13e-2627-43cd-8b3b-081144f3cfcc@googlegroups.com> Subject: Ada on ARM Cortex-M From: Maciej Sobczak Injection-Date: Wed, 30 Mar 2016 13:13:15 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:29922 Date: 2016-03-30T06:13:15-07:00 List-Id: I'm pleased to announce that the tutorial titled "Ada and SPARK on ARM Cortex-M" got its second edition: http://inspirel.com/articles/Ada_On_Cortex.html The tutorial was extended and now targets four popular development boards: - Arduino M0 (or Genuino Zero) - Arduino Due - STM32 Nucleo-32 (with F0 chip) - STM32 Nucleo-144 (with F7 chip) The tutorial explains how to write Ada/SPARK programs with zero run-time, without any underlying layers and based solely on the information from chip reference documentation. Source code for all examples, for all of these boards, is also available. Your feedback is welcome. -- Maciej Sobczak * http://www.inspirel.com