comp.lang.ada
 help / color / mirror / Atom feed
From: mjsilva@scriptoriumdesigns.com
Subject: Re: Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA
Date: Mon, 8 Jul 2013 17:53:01 -0700 (PDT)
Date: 2013-07-08T17:53:01-07:00	[thread overview]
Message-ID: <2700f518-8ed0-4a6c-b152-224505ed406f@googlegroups.com> (raw)
In-Reply-To: <3pot69wxlgxk$.1qdndak779tfj$.dlg@40tude.net>

On Monday, July 8, 2013 6:59:02 AM UTC-7, Dmitry A. Kazakov wrote:
> On Mon, 08 Jul 2013 15:15:31 +0200, G.B. wrote:

> > Port what?  People have asked for good compile-time support
> 
> > with some minimal run-time support. The meaning of "minimal"
> 
> > not being "full Ada".
> 
> 
> 
> When they start pulling things together the result would be pretty much
> 
> full Ada and beyond it, e.g. OS services. My point merely was that a really
> 
> minimal RTL is likely useless for most people interested in embedded and
> 
> Ada.

Note that AdaCore is already doing what you say is useless.  They are doing it with their LEGO Mindstorms package (and note: "Differrently from the 2009 release of GNAT GPL for the LEGO MINDSTORMS NXT, the 2010 release does not rely on any operating system: it is an Ada-only bareboard solution leveraging on Ada 2005 features for concurrent and real-time behaviour." - They moved AWAY from an operating system!)

And they are reportedly doing it for ARM Cortex M3 (again, bare board), only that product doesn't seem to actually exist if one goes by their website.  And that product too, is (or will be) bare board: "GNAT Pro Safety-Critical for bareboard ARM supplies a fully configurable / customizable run-time library"

Still waiting for that product to become real and available.

  reply	other threads:[~2013-07-09  0:53 UTC|newest]

Thread overview: 55+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-06-19  7:51 Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA Marcus F
2013-06-19 18:20 ` Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running Ada Jacob Sparre Andersen
2013-06-19 18:59   ` Marcus F
2013-06-19 19:25     ` Marcus F
2013-07-12 20:35     ` Rego, P.
2013-07-12 20:37       ` Rego, P.
2013-07-07  9:16 ` Point a beginner in the right direction? Cheap bare-board to run with a RTOS for running ADA Lucretia
2013-07-07  9:56   ` Dmitry A. Kazakov
2013-07-07 10:58     ` Simon Clubley
2013-07-07 15:00       ` Dmitry A. Kazakov
2013-07-07 16:27         ` Niklas Holsti
2013-07-08  7:43           ` Dmitry A. Kazakov
2013-07-08 10:54             ` G.B.
2013-07-08 12:14               ` Dmitry A. Kazakov
2013-07-08 12:56                 ` Simon Clubley
2013-07-08 14:06                   ` Dmitry A. Kazakov
2013-07-08 14:43                     ` G.B.
2013-07-08 17:23                     ` Simon Clubley
2013-07-08 18:55                       ` Dmitry A. Kazakov
2013-07-09 11:53                         ` Simon Clubley
2013-07-09 12:57                           ` Dmitry A. Kazakov
2013-07-09 13:11                             ` Simon Clubley
2013-07-09 20:30                               ` Randy Brukardt
2013-07-09 22:23                                 ` Georg Bauhaus
2013-07-10  8:06                                   ` Dmitry A. Kazakov
2013-07-10 12:25                                 ` Simon Clubley
2013-07-10 22:17                                   ` Randy Brukardt
2013-07-11 16:58                                     ` Eryndlia Mavourneen
2013-07-11 22:07                                       ` Randy Brukardt
2013-07-08 13:15                 ` G.B.
2013-07-08 13:59                   ` Dmitry A. Kazakov
2013-07-09  0:53                     ` mjsilva [this message]
2013-07-08 20:31             ` Randy Brukardt
2013-07-08 20:45               ` Dmitry A. Kazakov
2013-07-09  0:19                 ` mjsilva
2013-07-09  0:27             ` mjsilva
2013-07-09  7:51               ` Dmitry A. Kazakov
2013-07-09  8:33                 ` Georg Bauhaus
2013-07-09  9:12                   ` Dmitry A. Kazakov
2013-07-09 11:08                     ` G.B.
2013-07-09 12:28                       ` Dmitry A. Kazakov
2013-07-09 14:20                         ` G.B.
2013-07-09 15:00                           ` Dmitry A. Kazakov
2013-07-09 23:13                             ` Peter C. Chapin
2013-07-09 15:38                 ` mjsilva
2013-07-09 19:48                   ` Dmitry A. Kazakov
2013-07-09 20:10                   ` Randy Brukardt
2013-07-09 22:09                     ` Georg Bauhaus
2013-07-10 22:21                       ` Randy Brukardt
2013-07-11  6:12                         ` Georg Bauhaus
2013-07-11 22:00                           ` Randy Brukardt
2013-07-10  1:31                     ` mjsilva
2013-07-10  8:17                       ` Dmitry A. Kazakov
2013-07-10 22:39                       ` Randy Brukardt
2013-07-09 13:53     ` Shmuel Metz
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox