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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,fd2f984f8ef238d1 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!d37g2000yqm.googlegroups.com!not-for-mail From: jonathan Newsgroups: comp.lang.ada Subject: Re: Why so hard to come up with a simple embedded Ada system? Date: Wed, 14 Jul 2010 12:56:47 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <37da1783-b355-4d43-a9a8-7f0d4ba4da9c@t13g2000prf.googlegroups.com> NNTP-Posting-Host: 143.117.23.233 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: posting.google.com 1279137407 28107 127.0.0.1 (14 Jul 2010 19:56:47 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 14 Jul 2010 19:56:47 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: d37g2000yqm.googlegroups.com; posting-host=143.117.23.233; posting-account=Jzt5lQoAAAB4PhTgRLOPGuTLd_K1LY-C User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.0.19) Gecko/2010062510 Iceweasel/3.0.6 (Debian-3.0.6-3),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:12428 Date: 2010-07-14T12:56:47-07:00 List-Id: More encouraging words from the GNAT GPL/Mindstorms webpage: http://libre.adacore.com/libre/tools/mindstorms/ GNAT GPL Edition for the LEGO MINDSTORMS NXT platform brings the possibility of experimenting with embedded systems development using the Ada 2005 and SPARK languages to an education-oriented robotic platform. Entire embedded systems, including software, hardware and sensors intercefacing, and wireless communications can be developed and verified using the GPL editions of GNAT and SPARK. (GNAT GPL is the free-software version of GNAT.) Regarding the x86 options: just to be clear, here's what I was talking about when I mentioned MaRTE OS. From the homepage, http://marte.unican.es/ The normal development environment for MaRTE OS is a computer with a GNU/Linux operating system installed. ... You can compile MaRTE OS to [produce executables that run as] normal Linux processes (without Real-Time guarantees, but useful for fast developing, debugging and teaching) or as binary for an x86 bare machine. Finally, write your multi-thread application in Ada, C or C++ (check-out the given examples) and use the provided scripts (mgnatmake or mgcc) to compile and link it against the kernel. You will get an executable that can be run on the architecture you chose when you installed MaRTE OS (i.e: as a Linux program or as a Multiboot loadable x86 binary) J.