diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/nrqs.patch | 27 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 28 insertions, 0 deletions
diff --git a/debian/patches/nrqs.patch b/debian/patches/nrqs.patch new file mode 100644 index 0000000..8c72ef1 --- /dev/null +++ b/debian/patches/nrqs.patch @@ -0,0 +1,27 @@ +commit 3a4f2e95e91b1b23d5c11190ff2dfc3c048deffb +Author: Justus Winter <4winter@informatik.uni-hamburg.de> +Date: Fri Apr 24 00:08:23 2015 +0200 + + kern: avoid hardcoding the lowest priority + + The number of priorities has been changed from 32 to 50 in + 6a234201081156e6d5742e7eeabb68418b518fad. + + * kern/syscall_subr.c (thread_depress_priority): Avoid hardcoding the + lowest priority. + +diff --git a/kern/syscall_subr.c b/kern/syscall_subr.c +index 3c369ef..6d23462 100644 +--- a/kern/syscall_subr.c ++++ b/kern/syscall_subr.c +@@ -302,8 +302,8 @@ thread_depress_priority( + * sched_pri to their lowest possible values. + */ + thread->depress_priority = thread->priority; +- thread->priority = 31; +- thread->sched_pri = 31; ++ thread->priority = NRQS-1; ++ thread->sched_pri = NRQS-1; + if (ticks != 0) + set_timeout(&thread->depress_timer, ticks); + diff --git a/debian/patches/series b/debian/patches/series index b0558f3..848e660 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -18,3 +18,4 @@ reorder-ipc_port.patch 0008-xxx-use-a-rbtree-for-reverse-lookups.patch 0009-kern-fix-comment.patch disable-more-counters.patch +nrqs.patch |