diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-12-11 11:50:51 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-12-11 11:50:51 +0100 |
| commit | 0876703a0c29ce26a9ece6ab39c4d968dcd8cfd9 (patch) | |
| tree | ec735c5e1459808c310cb86adb11e745dda969ce /microkernel | |
| parent | fcf515ed4b02d02dd09b541bdbd9e3e6070afb29 (diff) | |
| parent | f7114c3fe535af7d7acafeadfcdf4ebf5c72fdcc (diff) | |
Merge commit 'f7114c3fe535af7d7acafeadfcdf4ebf5c72fdcc'
Conflicts:
open_issues/gnat.mdwn
Restore GNAT tasks -- what we have today is just an incomplete initial port.
Diffstat (limited to 'microkernel')
0 files changed, 0 insertions, 0 deletions