Add minimal GNAT run time system (RTS)

Hardware / Coreboot - Nico Huber [secunet.com] - 19 September 2016 04:14 UTC

Add a stripped-down version of libgnat. This is somehow comparable to libgcc but for Ada programs. It's licensed under GPLv3 but with the runtime library exception. So it's totally fine to link it with our GPLv2 code and keep it under GPLv2.

Change-Id: Ie6522abf093f0a516b9ae18ddc69131bd721dc0c

be5492a Add minimal GNAT run time system (RTS)
Makefile | 3 +-
Makefile.inc | 3 +
src/lib/Makefile.inc | 1 +
src/lib/gnat/COPYING.RUNTIME | 73 ++++
src/lib/gnat/COPYING3 | 674 ++++++++++++++++++++++++++++++++
src/lib/gnat/Makefile.inc | 62 +++
src/lib/gnat/a-unccon.ads | 23 ++
src/lib/gnat/ada.ads | 19 +
src/lib/gnat/g-souinf.ads | 92 +++++
src/lib/gnat/gnat.ads | 37 ++
src/lib/gnat/i-c.adb | 73 ++++
src/lib/gnat/i-c.ads | 78 ++++
src/lib/gnat/interfac.ads | 161 ++++++++
src/lib/gnat/s-atacco.ads | 63 +++
src/lib/gnat/s-imenne.adb | 129 ++++++
src/lib/gnat/s-imenne.ads | 85 ++++
src/lib/gnat/s-maccod.ads | 130 ++++++
src/lib/gnat/s-parame.ads | 66 ++++
src/lib/gnat/s-stoele.adb | 131 +++++++
src/lib/gnat/s-stoele.ads | 117 ++++++
src/lib/gnat/s-unstyp.ads | 211 ++++++++++
src/lib/gnat/system.ads | 176 +++++++++
toolchain.inc | 7 +-
util/lint/lint-stable-009-old-licenses | 1 +
24 files changed, 2413 insertions(+), 2 deletions(-)

Upstream: review.coreboot.org

  • Share