From d068eaa9f7f9c8f2961008d5f48bea974c77631b Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Thu, 28 Jun 2018 10:45:58 +0200 Subject: [PATCH] input_filter.run: no char-repeat test using PIT The legacy PIT timer driver is too jittery for the character-repeat test. This patch disables the test for platforms using this device as user-level time source, which are at the moment OKL4, Pistachio, and seL4. --- repos/os/run/input_filter.run | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/repos/os/run/input_filter.run b/repos/os/run/input_filter.run index 173177f91b..f7487df4cb 100644 --- a/repos/os/run/input_filter.run +++ b/repos/os/run/input_filter.run @@ -4,6 +4,10 @@ proc test_char_repeat { } { # Qemu if {[have_include "power_on/qemu"]} { return 0 } + # the legacy PIT timer driver is too inaccurate to produce stable results + # for the character-repeat test + if {[binary_name_timer] == "pit_timer_drv"} { return 0 } + return 1 }