coreboot/util
Nico Huber be5492aec0 Add minimal GNAT run time system (RTS)
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
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/11836
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Edward O'Callaghan <edward.ocallaghan@koparo.com>
2016-09-19 11:14:49 +02:00
..
abuild
acpi
amdfwtool
amdtools
archive
arm_boot_tools/mksunxiboot
autoport
bimgtool
board_status
broadcom
cbfstool cbfs: Add "struct" file type and associated helpers 2016-08-27 01:16:22 +02:00
cbmem cbmem: Exit with an errorlevel of 0 after printing help 2016-09-15 00:43:02 +02:00
checklist util/checklist: Place tables in proper boot order 2016-08-03 18:01:32 +02:00
chromeos
crossgcc buildgcc: Quote command substitution 2016-09-11 14:27:42 +02:00
docker util/docker: Update docker files for coreboot-sdk & jenkins builders 2016-08-18 06:15:26 +02:00
dtd_parser
ectool
exynos
futility
fuzz-tests
genbuild_h
genprof
gitconfig util/gitconfig: add cborg2cros.py script 2016-08-13 23:30:06 +02:00
ifdfake
ifdtool ifdtool/Makefile: use static dependencies 2016-09-12 20:03:28 +02:00
intelmetool
inteltool Remove non-ascii & unprintable characters 2016-08-01 21:44:45 +02:00
intelvbttool
ipqheader
k8resdump
kconfig Remove non-ascii & unprintable characters 2016-08-01 21:44:45 +02:00
lint Add minimal GNAT run time system (RTS) 2016-09-19 11:14:49 +02:00
marvell
mma
msrtool
mtkheader
nvidia
nvramtool
optionlist
post
release util/release: make release archives reproducible 2016-09-15 20:01:51 +02:00
riscvtools
rockchip
romcc
sconfig sconfig: Reformat C code 2016-08-08 19:16:24 +02:00
scripts util/scripts: Support cygwin in ucode conversion tool 2016-08-22 04:19:24 +02:00
showdevicetree
spkmodem_recv
superiotool
uio_usbdebug
vgabios
viatool
xcompile arch/arm: Add armv7-r configuration 2016-09-12 19:58:43 +02:00