fa83887e48
If selected, libgnat is linked into romstage. In addition, a call to romstage_adainit() is added to support Ada program data initialization. BUG=b:252792591 BRANCH=firmware-brya-14505.B TEST=Ada code compiles for romstage and loads successfully Change-Id: I74f0460f6b14fde2b4bd6391e1782b2e5b217707 Signed-off-by: Jeremy Compostella <jeremy.compostella@intel.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/70274 Reviewed-by: Tarun Tuli <taruntuli@google.com> Reviewed-by: Nick Vaccaro <nvaccaro@google.com> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
30 lines
767 B
C
30 lines
767 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
|
|
#ifndef _ADAINIT_H
|
|
#define _ADAINIT_H
|
|
|
|
/**
|
|
* @file adainit.h
|
|
*
|
|
* Ada supports some complex constructs that result in code for runtime
|
|
* initialization. It's also possible to have explicit procedures for
|
|
* package level initialization (e.g. you can initialize huge arrays in
|
|
* a loop instead of cluttering the binary).
|
|
*
|
|
* When an Ada main() is in charge, GNAT emits the call to the initia-
|
|
* lizations automatically. When not, we have to call it explicitly.
|
|
*/
|
|
|
|
#if CONFIG(ROMSTAGE_ADA)
|
|
void romstage_adainit(void);
|
|
#else
|
|
static inline void romstage_adainit(void) {}
|
|
#endif
|
|
|
|
#if CONFIG(RAMSTAGE_ADA)
|
|
void ramstage_adainit(void);
|
|
#else
|
|
static inline void ramstage_adainit(void) {}
|
|
#endif
|
|
|
|
#endif /* _ADAINIT_H */
|