Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
dist/tools/cosy: provide patch for PR RIOT-OS#13
The upstream PR RIOT-OS#13 is not yet merged but fixes classification to no longer classify most of RIOT's object files "unspecified" in the `.text` view.
- Loading branch information