aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorSven Dziadek <s9svdzia@stud.uni-saarland.de>2012-04-16 15:37:40 -0400
committerSven Dziadek <s9svdzia@stud.uni-saarland.de>2012-05-31 16:23:38 -0400
commit6e1ceb5ab56005fd343f52bbb8d2879e2c1493bd (patch)
tree7747fe454511e842c273dca77359a1f473cb3c7c /bin
parentaae25e0770ade4083937c7443448cb3f0023b10a (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.c2
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;