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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,8295d69277f1696c X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.191.225 with SMTP id hb1mr1065491pbc.5.1337068068337; Tue, 15 May 2012 00:47:48 -0700 (PDT) Path: pr3ni675pbb.0!nntp.google.com!news2.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!news.tornevall.net!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Re: understanding runtime support Date: Tue, 15 May 2012 09:47:44 +0200 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: <878vgtrilb.fsf@adaheads.sparre-andersen.dk> References: <28695516.0.1336708147839.JavaMail.geo-discussion-forums@pbcqw9> <28843126.1576.1336884548623.JavaMail.geo-discussion-forums@ynff7> <31100317.2013.1336922789420.JavaMail.geo-discussion-forums@ynmb39> <7948724.2.1336983886678.JavaMail.geo-discussion-forums@yneo6> <32791890.97.1336995087800.JavaMail.geo-discussion-forums@yneo6> <8547012.586.1337020482714.JavaMail.geo-discussion-forums@ynlq12> <28034736.36.1337025896359.JavaMail.geo-discussion-forums@ynll26> <10099625.0.1337029342748.JavaMail.geo-discussion-forums@yneh4> NNTP-Posting-Host: 94.191.247.38.bredband.3.dk Mime-Version: 1.0 X-Trace: munin.nbi.dk 1337068066 27578 94.191.247.38 (15 May 2012 07:47:46 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Tue, 15 May 2012 07:47:46 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) Cancel-Lock: sha1:jWR8WK93U5IrKnU3TdkrNp4m8Jk= Content-Type: text/plain; charset=us-ascii Date: 2012-05-15T09:47:44+02:00 List-Id: mjsilva@scriptoriumdesigns.com writes: > On Monday, May 14, 2012 1:04:56 PM UTC-7, Patrick wrote: >> Now it seems I am supposed to roll my own runtime or other low level >> solution, [...] This still depends on both your target system and on which parts of Ada you want to use in your system. If you are willing to use LEGO Mindstorms NXT as your target system, there is a ready-to-use GNAT version supporting the Ravenscar profile. If you want to use Arduino as your target system, there is a ready-to-compile GNAT version (AVR-Ada), which doesn't support the Ravenscar profile yet, but is likely to get there. If you want to use a Gumstix Overo or a Raspberry Pi running Debian, it (Debian) comes with a complete GNAT compiler. So it is not like there aren't any options. You just have to think about what you want to do and what it requires. Then you can take a look at the options and see which one fits your problem (best). >> Is full, multi-tasking, Ada only used for embedded design by >> companies like Boeing that can port Ada to new devices all by >> themselves? What do small time people like me do? Use the available options or build the necessary additions to the available options. If nobody else gets to it first, I will take a look at how the GNAT-for-Mindstorms kernel is implemented, and see if I can port it to the Arduino (AVR). > I find this situation rather insane as well. As you said, Ada is an > embedded language. OK, to be more precise, Ada is a language which > had as a primary design goal the creation of embedded applications. > And yet it seems in practice to be quite impossible to use on embedded > applications without a full-blown OS/RTOS underneath it. I would say that GNAT-for-Mindstorms is a very good demonstration that you don't need a "full-blown OS/RTOS" underneath Ada. > One _can_ do Ada tasking, at least, using a bare metal implementation > - the GNAT Lego Mindstorms port does this, I believe. Yes. Another option (not tested by me) is ARM-Ada: http://sourceforge.net/projects/arm-ada/ > Sadly, there does not seem to be a cookbook as to how to create such a > bare metal port for other devices/families. Apparently not. - Maybe it is time to write one? Greetings, Jacob -- "Science is like sex: sometimes something useful comes out, but that is not the reason we are doing it" -- Richard Feynman