summaryrefslogtreecommitdiffstats
path: root/src/lib/gnat
Commit message (Expand)AuthorAgeFilesLines
* lib,console,sbom: Rename Makefiles from .inc to .mkMartin Roth2024-01-241-0/+0
* lib/gnat: Remove Compiler_Unit_Warning pragmasElyes Haouas2023-02-267-13/+0
* Add option to use Ada code in romstageJeremy Compostella2022-12-171-0/+3
* Makefile.inc: Add `-fno-pie` to `ADAFLAGS_common`Paul Menzel2022-01-231-0/+1
* lib/gnat/i-c.ads: Add `uintptr_t` typeAngel Pons2020-11-161-0/+3
* src: Remove leading blank lines from SPDX headerElyes HAOUAS2020-05-181-3/+0
* treewide: Remove "this file is part of" linesPatrick Georgi2020-05-111-1/+0
* src/: Replace GPL boilerplate with SPDX headersPatrick Georgi2020-05-091-9/+1
* src (minus soc and mainboard): Remove copyright noticesPatrick Georgi2020-03-171-1/+0
* lib/gnat: Enable -WerrorNico Huber2019-06-281-0/+1
* lib/gnat: Use ADAFLAGS instead of CFLAGSNico Huber2019-06-281-1/+1
* lib/gnat: Drop Restriction `No_Exception_Propagation`Nico Huber2018-05-191-1/+0
* toolchain: Always use GCC for Ada sourcesNico Huber2017-09-231-1/+1
* toolchain: Use xcompile proposed CFLAGS for AdaNico Huber2017-09-231-0/+1
* Fix files with multiple newlines at the end.Martin Roth2017-07-241-1/+0
* Hook up libhwbase in ramstageNico Huber2016-11-291-1/+1
* Add option to use Ada code in ramstageNico Huber2016-11-061-0/+4
* Add minimal GNAT run time system (RTS)Nico Huber2016-09-1919-0/+2400