diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-22 01:53:03 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-07-22 01:54:18 -0400 |
| commit | a2675ecbfb665f5f9de5f541d7d22c6710b4ff97 (patch) | |
| tree | bfb5fed4e218bb59b4f8d2d525c4815a16c033d5 /inc | |
| parent | 8d323049edd004c25f370468aa30cdf1ba76e735 (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 'inc')
0 files changed, 0 insertions, 0 deletions