7a0fc734ee
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. BUG=None BRANCH=None TEST=None 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> Change-Id: Ie6522abf093f0a516b9ae18ddc69131bd721dc0c Reviewed-on: https://chromium-review.googlesource.com/386273 Commit-Ready: Furquan Shaikh <furquan@chromium.org> Tested-by: Furquan Shaikh <furquan@chromium.org> Reviewed-by: Aaron Durbin <adurbin@chromium.org> |
||
|---|---|---|
| .. | ||
| check_lint_tests | ||
| checkpatch.pl | ||
| kconfig_lint | ||
| kconfig_lint_README | ||
| lint | ||
| lint-000-license-headers | ||
| lint-001-no-global-config-in-romstage | ||
| lint-007-checkpatch | ||
| lint-008-kconfig | ||
| lint-014-qualified-types | ||
| lint-016-non-ascii | ||
| lint-stable-000-license-headers | ||
| lint-stable-003-whitespace | ||
| lint-stable-004-style-labels | ||
| lint-stable-005-board-status | ||
| lint-stable-006-board-name | ||
| lint-stable-008-kconfig | ||
| lint-stable-009-old-licenses | ||
| lint-stable-010-asm-syntax | ||
| lint-stable-012-executable-bit | ||
| lint-stable-013-site-local | ||
| remccoms3.sed | ||
| spelling.txt | ||