diff options
author | Sven Dziadek <s9svdzia@stud.uni-saarland.de> | 2012-04-16 15:37:40 -0400 |
---|---|---|
committer | Sven Dziadek <s9svdzia@stud.uni-saarland.de> | 2012-05-31 16:23:38 -0400 |
commit | 6e1ceb5ab56005fd343f52bbb8d2879e2c1493bd (patch) | |
tree | 7747fe454511e842c273dca77359a1f473cb3c7c /bin | |
parent | aae25e0770ade4083937c7443448cb3f0023b10a (diff) |
P-FP: make PCP available to user space
PCP was only used for DPCP before
tests: add some basic tests for PCP under P-FP
Diffstat (limited to 'bin')
-rw-r--r-- | bin/rtspin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index 1244073..87c178a 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c | |||
@@ -169,7 +169,7 @@ int main(int argc, char** argv) | |||
169 | lt_t wcet; | 169 | lt_t wcet; |
170 | lt_t period; | 170 | lt_t period; |
171 | double wcet_ms, period_ms; | 171 | double wcet_ms, period_ms; |
172 | unsigned int priority = 0; | 172 | unsigned int priority = LITMUS_MIN_PRIORITY; |
173 | int migrate = 0; | 173 | int migrate = 0; |
174 | int cpu = 0; | 174 | int cpu = 0; |
175 | int opt; | 175 | int opt; |