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
..
check_lint_tests	lint/check_lint_tests: Add script that will break all stable tests	2016-04-10 18:13:01 +02:00
checkpatch.pl	checkpatch.pl: Force raw_line to return a defined value	2016-09-15 02:27:42 +02:00
kconfig_lint	kconfig_lint: make sure if and endif statements are balanced	2016-03-03 20:42:49 +01:00
kconfig_lint_README	kconfig_lint: demote 'always defined' errors to warnings	2016-02-09 21:52:45 +01:00
lint	lint: properly terminate junit report on error	2015-11-19 16:13:50 +01:00
lint-000-license-headers	util/lint: update lint-000-license-headers	2016-04-13 17:37:53 +02:00
lint-001-no-global-config-in-romstage	tree: drop last paragraph of GPL copyright header	2015-10-31 21:37:39 +01:00
lint-007-checkpatch	lint: rename lint-006-checkpatch because board name is lint-006	2016-01-12 22:32:16 +01:00
lint-008-kconfig	kconfig_lint: update kconfig lint shell scripts	2016-02-10 17:17:56 +01:00
lint-014-qualified-types	util/lint: Find unsigned variables with no length specified	2016-04-21 23:13:09 +02:00
lint-015-final-newlines	util/lint: Add a tool to verify a single newline at the end of files	2016-08-19 18:08:25 +02:00
lint-016-non-ascii	util/lint: Add a lint tool to find non-ascii & unprintable chars	2016-08-02 18:56:14 +02:00
lint-stable-000-license-headers	lint: Add check for amd & apple mainboard license headers	2016-04-21 23:07:31 +02:00
lint-stable-003-whitespace	tree: drop last paragraph of GPL copyright header	2015-10-31 21:37:39 +01:00
lint-stable-004-style-labels	lint/lint-stable-004-style-labels: Update script	2016-04-13 02:11:28 +02:00
lint-stable-005-board-status	lint: Update board status script to look at the whole tree	2016-03-29 23:30:47 +02:00
lint-stable-006-board-name	…
lint-stable-008-kconfig	lint-kconfig: pipe stderr to stdout to catch script errors	2016-03-05 15:40:31 +01:00
lint-stable-009-old-licenses	Add minimal GNAT run time system (RTS)	2016-09-19 11:14:49 +02:00
lint-stable-010-asm-syntax	lint: test for assembler dialect switches	2016-02-07 00:36:46 +01:00
lint-stable-012-executable-bit	lint: Add a check for the executable bit being set on source code	2016-01-30 03:23:44 +01:00
lint-stable-013-site-local	lint: Make sure site-local isn't committed to coreboot repo	2016-02-16 22:47:39 +01:00
remccoms3.sed	…
spelling.txt	util/lint: Update to latest checkpatch.pl	2016-09-04 05:51:47 +02:00