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: a07f3367d7,22a15766ecc7ead X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!c34g2000yqn.googlegroups.com!not-for-mail From: nfeske Newsgroups: comp.lang.ada Subject: Re: Genode implements zero-footprint runtime for Ada and SPARK Date: Thu, 26 Nov 2009 07:47:59 -0800 (PST) Organization: http://groups.google.com Message-ID: References: <4c5c762a-92ca-4039-aef4-e98a769e9beb@v30g2000yqm.googlegroups.com> <55557e31-238b-4aa1-b184-9a31de5c5045@e27g2000yqd.googlegroups.com> NNTP-Posting-Host: 94.223.180.172 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1259250479 24345 127.0.0.1 (26 Nov 2009 15:47:59 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 26 Nov 2009 15:47:59 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: c34g2000yqn.googlegroups.com; posting-host=94.223.180.172; posting-account=SWeP6QoAAABzzoV_ck5jFLfPlKQiOhdU User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.0.15) Gecko/2009102815 Ubuntu/9.04 (jaunty) Firefox/3.0.15,gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:8245 Date: 2009-11-26T07:47:59-08:00 List-Id: Hello, as a developer of Genode, I am happy about the response to our Ada- related addition. As stated in the release notes, the current integration of Ada support is mainly geared towards using Genode as an experimentation platform for developing Spark sub programs. It is just the first step. If more people outside the current Genode developer community show interest in this particular topic, we will be happy to extend the Ada support as needed. On Nov 26, 3:08=A0pm, AdaMagica wrote: > Hm, later on this page it says "Elaboration is not performed". How can > then Ada code work at all? The mentioned limitation refers to package initializations normally performed by the startup code generated by gnatbind, specifically the 'ada_init' function. The current use case for Ada on Genode is to use Spark for creating type and utility packages with free-standings functions called from C code. Because such packages have no internal state and no begin-end block, we can omit gnatbind for now. However, should the need for elaborating packages in the right order arise in the future, support for calling gnatbind will be added to the build environment. In short, the solution comes down to calling gnatmake with the '-c -b' arguments, adding the generated startup code to the program, and actually calling 'adainit'. Best regards Norman