Re: silly ravenscar question

[Simon Wright <simon@pushface.org>]

jan.de.kruyf@gmail.com writes:

> Would it be unsettling if I asked why there is no system.ads in the
> zfp collection?

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

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

   pragma Restrictions (No_Exception_Propagation);
   pragma Restrictions (No_Exception_Registration);
   pragma Restrictions (No_Implicit_Dynamic_Code);
   pragma Restrictions (No_Finalization);
   pragma Restrictions (No_Tasking);
   pragma Discard_Names;

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