coreboot-kgpe-d16/util/lint
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-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
lint-007-checkpatch
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
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-stable-012-executable-bit
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