Re: Ada configuration options

2019-12-17 Thread Sebastian Huber
On 17/12/2019 14:38, Joel Sherrill wrote: On Tue, Dec 17, 2019 at 3:45 AM Sebastian Huber > wrote: Hello, we have currently three Ada related configuration options: * CONFIGURE_GNAT_RTEMS * CONFIGURE_MAXIMUM_ADA_TASKS * CONFI

Re: Ada configuration options

2019-12-17 Thread Joel Sherrill
On Tue, Dec 17, 2019 at 3:45 AM Sebastian Huber < sebastian.hu...@embedded-brains.de> wrote: > Hello, > > we have currently three Ada related configuration options: > > * CONFIGURE_GNAT_RTEMS > > * CONFIGURE_MAXIMUM_ADA_TASKS > > * CONFIGURE_MAXIMUM_FAKE_ADA_TASKS > > The CONFIGURE_MAXIMUM_FAKE_AD