Timon Kruiper 01a14ac7af Kernel: Implement TimeManagement for aarch64 ... This sets up the RPi::Timer to trigger an interurpt every 4ms using one of the comparators. The actual time is calculated by looking at the main counter of the RPi::Timer using the Timer::update_time function. A stub for Scheduler::timer_tick is also added, since the TimeManagement code now calls the function.		2022-10-17 20:11:31 +02:00
..
HardwareTimer.h	Kernel/aarch64: Implement HardwareTimer for RPi::Timer	2022-10-17 20:11:31 +02:00
TimeManagement.cpp	Kernel: Implement TimeManagement for aarch64	2022-10-17 20:11:31 +02:00
TimeManagement.h	Kernel: Implement TimeManagement for aarch64	2022-10-17 20:11:31 +02:00