liblitmus-ext-res.git/doc, branch master liblitmus with extended reservations for Forbidden Zones paper @ RTAS'20 Update documentation for rt_launch 2017-03-10T15:36:40+00:00 Bjoern Brandenburg bbb@mpi-sws.org 2016-07-25T21:14:35+00:00 9a3de35bbd507cd58e9116a9f8e214a0ed5fce36 Omit budget and period when launching tasks inside reservations. 
Omit budget and period when launching tasks inside reservations.
Provide more detail on synchronizing with scheduling slots 2017-03-07T21:48:14+00:00 Björn Brandenburg bbb@mpi-sws.org 2016-07-20T19:48:08+00:00 875e24f01d2775e4229abf8eb82e97e0884c97c7 Using the recently added APIs litmus_clock() and lt_sleep_until(). 
Using the recently added APIs litmus_clock() and lt_sleep_until().
Edit description of table-driven scheduling 2017-03-07T21:48:14+00:00 Björn Brandenburg bbb@mpi-sws.org 2016-07-19T23:17:34+00:00 28d6d8657119dd1bd53a4018db31cc45a6e8e37b 






Add documentation for table-driven reservations
2017-03-07T21:48:14+00:00

Björn Brandenburg
bbb@mpi-sws.org

2016-07-19T18:11:23+00:00

60dff237159485139955bfa20a8766e7ea9b45f9












Add documentation for resctl
2016-03-20T18:07:44+00:00

Bjoern Brandenburg
bbb@mpi-sws.org

2016-01-08T13:15:23+00:00

f7aa7b6c50bfcec67534dbc6a9eec611e155e7fa