1. f43881f Makefile: Add support to bind/link application binaries by Nico Huber · 9 years ago
  2. 9d5d025 Makefile: Remove -gnatg from ADAFLAGS by Nico Huber · 9 years ago
  3. f03ef4f Add support to map the contents of a file by Nico Huber · 9 years ago
  4. e86fff9 Makefile: Add simple compilation rule for C by Nico Huber · 9 years ago
  5. 5f82d1a ada/dynamic_mmio: Drop unnecessary Volatile aspect by Nico Huber · 9 years ago
  6. cf01ab6 Makefile: Fix whitespace and syntax highlighting nits by Nico Huber · 9 years ago
  7. 868915f Makefile: Add support for out-of-tree sources by Nico Huber · 9 years ago
  8. b664119 Add muen scheduling info as timer source by Nico Huber · 9 years ago
  9. a5c8ba2 Add Div_Round_Closest() for positive integer types by Nico Huber · 9 years ago
  10. aab715f Relicense libhwbase under GPL v2+ by Nico Huber · 10 years ago
  11. ded07e8 Makefile.proof: Add all source files to the dependencies by Nico Huber · 10 years ago
  12. f86fb18 Makefile: Add a strip_quotes macro by Nico Huber · 10 years ago
  13. 5e9b1b5 Initial upstream commit by Nico Huber · 10 years ago