gnat ARM - predefined packages

["RasikaSrinivasan@gmail.com" <RasikaSrinivasan@gmail.com>]

Some clarifications please:

I am using gnat for ARM - having reasonable success with the STM32F4 discovery board.

I would like to know:

- The example project contains an import as follows:

-- file: registers.ads
    GPIOD : GPIO_Register with ... ;
    pragma Imp\x10oft(Ada,GP\x10IOD) ;

    where is this object GPIOD getting imported from?
    I am looking to use GPIOB and GPIOC. how can i import those?
   
- the spec of Ada.Interrupts.Names so I know how to attach new interrupt handlers. (Example project provides Ada.Interrupts.Names.EXTIO_Interrrupt)

- Is it possible to install native gnat on the same Windows system and produce executables for both the native and the ARM targets?

- Is it possible to use packages such as Ada.Containers in the embedded target?

thanks for pointers.

srini