diff options
| author | Paul Selkirk <paul@psgd.org> | 2016-07-05 22:45:35 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2016-07-05 22:45:35 -0400 |
| commit | 30f8e4e85b6a337291b09d55d8edc15e422b6341 (patch) | |
| tree | 19199dd47bb98e18a96281d34e35d1971565fc72 /utils/GNUmakefile | |
| parent | e1c57eff41a57b8a3f16e5d652b5598d75887a21 (diff) | |
Attempt to add resource management, for multiple cores of the same type.
Find a suitable core, and mark it busy. Don't forget to release it as soon
as you're done. This has a knock-on effect of un-const'ing core arguments
and struct fields in a lot of places, and it moves some core checks around.
Diffstat (limited to 'utils/GNUmakefile')
0 files changed, 0 insertions, 0 deletions