diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-22 01:53:03 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-03-16 10:33:08 -0400 |
| commit | 3015c398db2fe6baff8969ef3faf8f6600e3733d (patch) | |
| tree | 3cff0be2f0f6f773a7632dd068ef54c0af625780 /scripts/pm_test_script | |
| parent | 626d8bd9648dc794a1d9281644dd314f2946e642 (diff) | |
Add resctrl, a tool for setting up reservations
resctrl is a new tool intended to configure reservations in
reservation-aware plugins. For now, it only supports the partitioned
reservations (P-RES) plugin.
(While at it, also update .gitignore)
Diffstat (limited to 'scripts/pm_test_script')
0 files changed, 0 insertions, 0 deletions