diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2016-04-24 08:12:06 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2017-03-10 10:36:30 -0500 |
| commit | b44dc82b1379e482a0751f8c2aebbf8b4d1df819 (patch) | |
| tree | 0be592461f4caa37f27d7045ce2e5ff6939ca413 /include | |
| parent | 89b126bcef6bac4cd6c78c67b58407f4ff2182c4 (diff) | |
rtspin: add -U option (underrun by up to fraction of WCET)
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions