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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.98.13.201 with SMTP id 70mr814417pfn.30.1478904190016; Fri, 11 Nov 2016 14:43:10 -0800 (PST) X-Received: by 10.157.37.125 with SMTP id j58mr475371otd.18.1478904189871; Fri, 11 Nov 2016 14:43:09 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!q124no812715itd.0!news-out.google.com!x12ni819ita.0!nntp.google.com!q124no812712itd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 11 Nov 2016 14:43:09 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=109.173.156.84; posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S NNTP-Posting-Host: 109.173.156.84 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9a8605f9-655c-4078-b0c2-3e1aa755aa26@googlegroups.com> Subject: Re: Getting started with bare-board development From: Maciej Sobczak Injection-Date: Fri, 11 Nov 2016 22:43:09 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:32284 Date: 2016-11-11T14:43:09-08:00 List-Id: > Hi, I've recently began to have a serious look at Ada-2012 and > Spark-2014, and using GNAT for the development of real-time software in > embedded systems. What is a good way to get started? In addition to the material that you have found already, you might also hav= e a look at this: http://www.inspirel.com/articles/Ada_On_Cortex.html This tutorial presents complete examples on several popular boards, and foc= uses on zero-runtime, bare-board development. > Also, do ARM processors make sense for safety critical systems? If not, > would it make more sense to target a different platform from the beginnin= g? ARM processors become more and more visible and surely there will be safety= critical projects using them in the future. Some of these processors are e= ither specifically designed to target such systems or are evaluated and ass= essed by third-party certification companies to provide evidence for their = safety values. --=20 Maciej Sobczak * http://www.inspirel.com