comp.lang.ada
 help / color / mirror / Atom feed
From: mjsilva@scriptoriumdesigns.com
Subject: Re: Help with embedded hardware/software platform selection for ADA
Date: Tue, 2 Jul 2013 08:58:43 -0700 (PDT)
Date: 2013-07-02T08:58:43-07:00	[thread overview]
Message-ID: <9c169ed5-1d59-4811-9d75-8a1a5624c8e8@googlegroups.com> (raw)
In-Reply-To: <1e0c6ca06tjfd$.1c3n4n9vj5soj.dlg@40tude.net>

On Tuesday, July 2, 2013 8:20:38 AM UTC-7, Dmitry A. Kazakov wrote:
> On Tue, 2 Jul 2013 07:55:27 -0700 (PDT), mjsilva@scriptoriumdesigns.com
> 
> wrote:
> 
> 
> 
> > There are countless applications for these "low-end" ARMS, which
> 
> > have 8kb-1Mb of Flash, and 2kb-128kb of RAM.  This is the universe I work
> 
> > in, and it's a big and active universe, and I can't use Ada even though I
> 
> > know it's a much better tool than C or C++.
> 
> 
> 
> Hold on. But this is the segment for which AdaCore has something:
> 
> 
> 
>    http://www.adacore.com/press/gnat-pro-safety-critical-for-arm/
> 
> 
> 
> Isn't it what you are looking for?

Yes, which is why I waited with great anticipation for the 2013 release downloads, but it (ARM Cortex) is not available.  It is nowhere on the AdaCore website other than that press release, AFAIK.  It doesn't seem to be an actual product yet.  If it shows up on libre sometime soon, I shall be a very happy camper (and will almost certainly send some business AdaCore's way in the bargain).

  reply	other threads:[~2013-07-02 15:58 UTC|newest]

Thread overview: 65+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-06-14 15:39 Help with embedded hardware/software platform selection for ADA Max Herman
2013-06-14 17:05 ` Dmitry A. Kazakov
2013-06-17 15:51   ` Max Herman
2013-06-17 17:12     ` Dmitry A. Kazakov
2013-06-14 17:45 ` G.B.
2013-06-14 20:52   ` Simon Wright
2013-06-14 20:16 ` RasikaSrinivasan
2013-06-14 20:51   ` Simon Wright
2013-06-17 16:00   ` Max Herman
2013-06-17  0:38 ` Luke A. Guest
2013-06-17 16:05   ` Max Herman
2013-07-04 16:13     ` Lucretia
2013-06-17  6:55 ` Help with embedded hardware/software platform selection for Ada Jacob Sparre Andersen
2013-06-17 16:15   ` Max Herman
2013-06-26 23:58   ` Luke A. Guest
2013-06-17 21:46 ` Help with embedded hardware/software platform selection for ADA Marcus F
2013-07-01 18:45   ` mjsilva
2013-07-01 19:32     ` Dmitry A. Kazakov
2013-07-01 23:35       ` Simon Clubley
2013-07-02  7:27         ` Georg Bauhaus
2013-07-02  8:46           ` Dmitry A. Kazakov
2013-07-02  9:09             ` Georg Bauhaus
2013-07-02 14:50               ` Shark8
2013-07-02 15:08             ` mjsilva
2013-07-02 16:53               ` Robert A Duff
2013-07-02 22:47               ` Randy Brukardt
2013-07-03  0:22                 ` Luke A. Guest
2013-07-03 19:13                   ` Randy Brukardt
2013-07-03 19:19                     ` Randy Brukardt
2013-07-03 20:50                       ` Georg Bauhaus
2013-07-08 12:53                         ` Eryndlia Mavourneen
2013-07-03 21:29                       ` Luke A. Guest
2013-07-03 22:02                       ` Niklas Holsti
2013-07-04 16:02                     ` Luke A. Guest
2013-07-05 21:08                       ` Randy Brukardt
2013-07-03  1:01                 ` mjsilva
2013-07-03  2:41                   ` Luke A. Guest
2013-07-03  7:17                     ` Shark8
2013-07-02 16:52             ` Simon Clubley
2013-07-02 17:27               ` Dmitry A. Kazakov
2013-07-02 19:29                 ` Simon Clubley
2013-07-02 20:21                   ` Dmitry A. Kazakov
2013-07-03 12:08                     ` Simon Clubley
2013-07-03 12:47                       ` Dmitry A. Kazakov
2013-07-03 16:56                         ` Simon Clubley
2013-07-02 22:21                 ` mjsilva
2013-07-03  7:18                   ` Dmitry A. Kazakov
2013-07-03  8:03                     ` Georg Bauhaus
2013-07-03 11:11                       ` Dmitry A. Kazakov
2013-07-03 12:49                         ` G.B.
2013-07-03 16:14                           ` Dmitry A. Kazakov
2013-07-03 14:50                     ` mjsilva
2013-07-02  8:26         ` Dmitry A. Kazakov
2013-07-02 10:44           ` Bill Findlay
2013-07-02 13:02             ` Dmitry A. Kazakov
2013-07-02 13:59               ` Bill Findlay
2013-07-02 14:41                 ` Dmitry A. Kazakov
2013-07-02 16:45                   ` Simon Clubley
2013-07-02 17:40                     ` Dmitry A. Kazakov
2013-07-02 16:57           ` Simon Clubley
2013-07-02 17:44             ` Dmitry A. Kazakov
2013-07-02 14:55         ` mjsilva
2013-07-02 15:20           ` Dmitry A. Kazakov
2013-07-02 15:58             ` mjsilva [this message]
2013-07-02 16:58               ` Dmitry A. Kazakov
replies disabled

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