comp.lang.ada
 help / color / mirror / Atom feed
From: jan.de.kruyf@gmail.com
Subject: Re: silly ravenscar question
Date: Fri, 27 Feb 2015 01:59:26 -0800 (PST)
Date: 2015-02-27T01:59:26-08:00	[thread overview]
Message-ID: <eceb8500-58d2-4594-9f67-bfb560329bd3@googlegroups.com> (raw)
In-Reply-To: <lyk2z33fpp.fsf@pushface.org>

On Friday, February 27, 2015 at 10:45:39 AM UTC+2, Simon Wright wrote:

> 
> There is a system.ads at
> gnat-gpl-2014-arm-elf-linux-bin/lib/gcc/arm-eabi/4.7.4/rts-zfp/adainclude/.

phew, I did find that also, maybe some more reading the manual is in order.

> 
> The zfp package appears to be a construction kit with missing parts and
> no instructions.
> 
> > especially the compiler switches at the end.
> 
> Not sure what you mean here? The top of the system.ads above includes
> 

In the private section:
      -- System Implementation Parameters

> but I don't know what else is missing (no System.Memory, for a start).

and no 'image routines. But all that is easily fixed.

Perhaps the zfp tar file was meant as an extension to the zfp-rts (for those who understand adacore-ish and cuneiform script)

Thanks a lot for your help. It is highly appreciated. I think I am on my way now to understand the whole system in terms of a highly sophisticated and fast microprocessor, that can be made to sing. Clever abstractions are needed sometimes, but they are often in the way of the need for speed. 

cheers,

j.


  reply	other threads:[~2015-02-27  9:59 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-02-24  9:07 silly ravenscar question jan.de.kruyf
2015-02-24 10:29 ` Dmitry A. Kazakov
2015-02-24 11:11   ` jan.de.kruyf
2015-02-24 13:38     ` Dmitry A. Kazakov
2015-02-25  8:48       ` jan.de.kruyf
2015-02-25 10:46         ` Dmitry A. Kazakov
2015-02-25 17:35           ` jan.de.kruyf
2015-02-25 17:55             ` Dmitry A. Kazakov
2015-02-26  8:48               ` jan.de.kruyf
2015-02-26  9:47                 ` Dmitry A. Kazakov
2015-02-26 12:07                   ` jan.de.kruyf
2015-02-26 19:09                   ` jan.de.kruyf
2015-02-27  8:58                     ` Dmitry A. Kazakov
2015-02-28 19:57                       ` jan.de.kruyf
2015-03-01  9:27                         ` Dmitry A. Kazakov
2015-03-03  8:42                           ` jan.de.kruyf
2015-03-03 10:57                             ` Dmitry A. Kazakov
2015-02-24 11:02 ` Jacob Sparre Andersen
2015-02-24 11:23   ` jan.de.kruyf
2015-02-24 13:43     ` Bob Duff
2015-02-25  9:07       ` jan.de.kruyf
2015-02-25 17:50         ` Simon Wright
2015-02-26  7:35           ` jan.de.kruyf
2015-02-26 14:57             ` Simon Wright
2015-02-26 19:36               ` jan.de.kruyf
2015-02-27  8:45                 ` Simon Wright
2015-02-27  9:59                   ` jan.de.kruyf [this message]
2015-02-28  9:57                     ` Simon Wright
2015-02-28 19:08                       ` jan.de.kruyf
2015-02-28 20:23                         ` Simon Wright
2015-03-03  8:52                           ` jan.de.kruyf
2015-02-24 15:30     ` Brad Moore
2015-02-24 16:52       ` Simon Wright
2015-02-25  3:01         ` Dennis Lee Bieber
2015-02-24 11:22 ` slos
2015-02-24 12:16   ` jan.de.kruyf
2015-02-24 11:24 ` J-P. Rosen
2015-02-24 12:10   ` jan.de.kruyf
2015-02-24 13:58 ` Simon Wright
replies disabled

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