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=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!eu.feeder.erje.net!news-1.dfn.de!news.dfn.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: STM32F4 Discovery, communication and libraries
Date: Thu, 04 Sep 2014 20:58:17 +0300
Organization: Tidorum Ltd
Message-ID: <c6rnh3F8qk4U1@mid.individual.net>
References: <60a42dc6-d8d0-4432-ae5a-86de18b82840@googlegroups.com>
 <5kkrv9hejn2qhdckkeo8lidkbh3bkme1gn@4ax.com>
 <5b91313c-acf9-4a6e-b157-6ba7c8021567@googlegroups.com>
 <ru1tv9p9g8gtd7aijug3j2eojdpdgvhihk@4ax.com>
 <0513ad07-6fbe-463a-be6f-097cd5113f52@googlegroups.com>
 <e8yq8rtj1pcm$.glzqqjd7ulsi.dlg@40tude.net>
 <4f1ec65a-d66a-40bf-a0d6-278fde206e70@googlegroups.com>
 <uxgn4sadwori$.7fnns7uw9q79$.dlg@40tude.net>
 <c69kifFfr6sU1@mid.individual.net>
 <1cjwzr30b24xy.11kpydntxhfo5$.dlg@40tude.net>
 <c6bo5nF23tiU1@mid.individual.net>
 <1xrcksk78afho$.xz6vgakq9o4t.dlg@40tude.net>
 <c6h8ieFfss4U1@mid.individual.net>
 <wq3x8ean0f5z$.em02okqv4iv8$.dlg@40tude.net> <lu29ve$lq5$1@dont-email.me>
 <1cbqqpx46gpl4$.ggt9magmgptm$.dlg@40tude.net> <lu5jaj$bnc$1@loke.gir.dk>
 <3fa71aac-1b8f-4422-9dc4-1c1a44ecb155@googlegroups.com>
 <de17a4cb-e29e-4644-83d5-9b1a327287f3@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: individual.net pKkAl5/tc3dGyI4XCAg7VgPRUb82coW4uMDb12qdxFKePFwnq4
Cancel-Lock: sha1:Jf7U1fjL78013mpO1yivSNvj2fE=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <de17a4cb-e29e-4644-83d5-9b1a327287f3@googlegroups.com>
Xref: number.nntp.dca.giganews.com comp.lang.ada:188871
Date: 2014-09-04T20:58:17+03:00
List-Id: <comp.lang.ada>

On 14-09-04 12:26 , Roy Emmerich wrote:

> To be honest, I am taking a serious look at www.nuttx.org. It looks
> very mature 

The functionality certainly looks impressive, but probably not all of it
is available on the smallest targets listed -- nothing wrong with
subsets, of course.

Could this be a possible target OS for AVR-Ada, or an ARM-GNAT? That is,
implement an Ada RTS (perhaps Ravenscar-limited) on top of NuttX.

Alternatively, just run Ada code, without tasking ("no run time" option)
on top of NuttX, using the NuttX native threading system. Plenty of Ada
embedded systems have used this approach (in fact I am working now on
such an application, but not using NuttX). All you need here is an Ada
compiler such as GNAT that has the "no run time" option and generates
object code in a format that can be executed under, or linked with, the
chosen kernel.

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