Re: Genode implements zero-footprint runtime for Ada and SPARK

[nfeske <norman.feske@genode-labs.com>]

Hello,

as a developer of Genode, I am happy about the response to our Ada-
related
addition. As stated in the release notes, the current integration of
Ada
support is mainly geared towards using Genode as an experimentation
platform
for developing Spark sub programs. It is just the first step. If more
people
outside the current Genode developer community show interest in this
particular
topic, we will be happy to extend the Ada support as needed.

On Nov 26, 3:08 pm, AdaMagica <christoph.gr...@eurocopter.com> wrote:
> Hm, later on this page it says "Elaboration is not performed". How can
> then Ada code work at all?

The mentioned limitation refers to package initializations normally
performed
by the startup code generated by gnatbind, specifically the 'ada_init'
function.
The current use case for Ada on Genode is to use Spark for creating
type and
utility packages with free-standings functions called from C code.
Because such
packages have no internal state and no begin-end block, we can omit
gnatbind
for now. However, should the need for elaborating packages in the
right order
arise in the future, support for calling gnatbind will be added to the
build
environment. In short, the solution comes down to calling gnatmake
with the
'-c -b' arguments, adding the generated startup code to the program,
and
actually calling 'adainit'.

Best regards
Norman