From e4f560f39be977c43d0df810c87a545163163e38 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Thu, 9 Apr 2015 21:26:36 +0200 Subject: [PATCH] hw: change round-robin scheduling slice to 10 ms Previously, it was set to 100 ms which caused a remarkable disadvantage in reactivity. Ref #1464 --- repos/base-hw/src/core/include/kernel/configuration.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-hw/src/core/include/kernel/configuration.h b/repos/base-hw/src/core/include/kernel/configuration.h index 3d882c6d8..817a4752a 100644 --- a/repos/base-hw/src/core/include/kernel/configuration.h +++ b/repos/base-hw/src/core/include/kernel/configuration.h @@ -28,7 +28,7 @@ namespace Kernel constexpr unsigned cpu_quota_ms = 1000; /* time slice for the round-robin mode and the idle in CPU scheduling */ - constexpr unsigned cpu_fill_ms = 100; + constexpr unsigned cpu_fill_ms = 10; } #endif /* _KERNEL__CONFIGURATION_H_ */