timer-arm: don't handle invalid configuration scheduler_one_shot

The configuration CONFIG_SCHEDULER_ONE_SHOT is (currently) not valid for ARM. Remove this case to make it easier to unify this function in on-top changes. Change-Id: I9cddc95ff06ed90ddf7f8c28fbb25c419f65fbbd
kernkonzept · Jul 3, 2024 · 874171e · 874171e
1 parent a5ab03f
commit 874171e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/kern/arm/timer-arm.cpp b/src/kern/arm/timer-arm.cpp
@@ -118,8 +118,6 @@ IMPLEMENT_DEFAULT inline NEEDS["config.h", "context_base.h", "kip.h"]
 Unsigned64
 Timer::system_clock()
 {
-  if (Config::Scheduler_one_shot)
-    return 0;
   if (current_cpu() == Cpu_number::boot_cpu()
       && Config::Kip_clock_uses_timer)
     {