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=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,3025dd6d917b499c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.73.1 with SMTP id h1mr1339344pav.0.1349728041277;
        Mon, 08 Oct 2012 13:27:21 -0700 (PDT)
Path: 
 t10ni23657341pbh.0!nntp.google.com!news.glorb.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ada, the best language with the not-so-best tool chain
Date: Mon, 08 Oct 2012 23:27:18 +0300
Organization: Tidorum Ltd
Message-ID: <adgr96FqfbcU1@mid.individual.net>
References: <38af7fb8-b0a4-4a31-87aa-b7b698cc89c3@googlegroups.com>
 <3ca0ffd0-1764-484b-8fab-17c0d2dd9463@googlegroups.com>
 <1f645050-cf4c-40bf-a797-9687b69e4a54@googlegroups.com>
 <18ats2960nsvm$.kfufsnul13aq$.dlg@40tude.net>
 <5072c9ae$0$6562$9b4e6d93@newsspool4.arcor-online.net>
 <4keoa6epdxt7.1nnwxy7v7ar90.dlg@40tude.net>
 <3c244a30-8967-4c93-9e65-a9734d8bcbf2@googlegroups.com>
Mime-Version: 1.0
X-Trace: individual.net l/XQpTeNwfa8FK2TaiFSOQF8Qttr6D7fbMsXCzNCKbLIDoVzXH
Cancel-Lock: sha1:+6QX7P/kRcLpVFKcuVUlWIsCM80=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:15.0) Gecko/20120907 Thunderbird/15.0.1
In-Reply-To: <3c244a30-8967-4c93-9e65-a9734d8bcbf2@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-10-08T23:27:18+03:00
List-Id: <comp.lang.ada>

On 12-10-08 16:57 , Patrick wrote:
> so again this is just brainstorming. Might be useless....
> 
> So yes, Ada is not C and the runtime needs more. Does anyone think it
> might be possible for the community to come to some sort of near
> agreement on some ultra minimal OS/RTOS that would provide the needed
> functionality to implement all the Ada features but contain nothing
> else. This would sort of be a micro-kernel for embedded space that
> more facilities including full size operating systems would be built
> from.

To my knowledge, there are already two such, or at least two starting
points:

- MaRTE OS, http://marte.unican.es/: GPL real-time kernel, supports Ada
out of the box. Take it and port it to the AVR, combine with AVR-Ada or
GNAT for AVR.

- Open Ravenscar Kernel, http://web.dit.upm.es/~str/ork/index.html.


-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
      .      @       .