update

[l4.git] / kernel / fiasco / src / kern / ia32 / timer_tick-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/timer_tick-ia32.cpp b/kernel/fiasco/src/kern/ia32/timer_tick-ia32.cpp
index 88ed52438bdbe8997f3c324acb72077a70de771b..d317e6f81566240fc5960c954610163bcee66c93 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/timer_tick-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/timer_tick-ia32.cpp
@@ -21,7 +21,7 @@ Timer_tick::allocate_irq(Irq_base *irq, unsigned irqnum)
 
       // from now we can save energy in getchar()
       if (!Config::Scheduler_one_shot)
-        Config::getchar_does_hlt_works_ok = Config::hlt_works_ok;
+        Config::getchar_does_hlt_works_ok = false && Config::hlt_works_ok;
     }
   return res;
 }