You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Nico Huber fc2102f560 dynamic_mmio: Use volatile access type 1 year ago
ada dynamic_mmio: Use volatile access type 1 year ago
c posix file: Add an `Offset` parameter and make `Len` optional 5 years ago
common time: Add T_First constant 2 years ago
configs pci: Add Linux sysfs implementation of HW.PCI.Dev 5 years ago
debug direct pci, debug: Fix minor style issues 3 years ago
proof pci: Add Linux sysfs implementation of HW.PCI.Dev 5 years ago
.gitignore Initial upstream commit 6 years ago
COPYING Initial upstream commit 6 years ago
Makefile Makefile: Add `-gnatw_R` to suppress spurious warning 2 years ago
Makefile.inc Add support to map the contents of a file 5 years ago
Makefile.proof Makefile: Revise support for generated sources 3 years ago
debug.adc Add `debug.adc` and option DEBUG 5 years ago
gnat.adc gnat.adc: Allow exception handlers in pure Ada code 5 years ago
spark.adc gnat.adc: Remove restriction `No_Secondary_Stack` 5 years ago