diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-04-30 12:35:11 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-09-07 16:47:32 -0400 |
| commit | 0ce2d95d10bc7ecab7fcf1e4bb5d9942625f91e7 (patch) | |
| tree | 39a9e408fd4fe55129b791ef591fff5cef1ce0f2 /tools/build/Makefile.feature | |
| parent | 2971daf071d2c0a35986f16bfed7e661e7e88f92 (diff) | |
Add x86 syscall defs for get_current_budget
Diffstat (limited to 'tools/build/Makefile.feature')
0 files changed, 0 insertions, 0 deletions