serenity/Kernel/Time
Sönke Holz d6a3500973 Kernel/aarch64: Make RPi::Timer a DeviceTree::Driver
This driver doesn't actually get any info (like the physical address)
from the devicetree node for now.
2024-11-02 13:53:10 -04:00
..
HardwareTimer.h Kernel: Remove passing of register state to IRQ handlers 2024-09-01 21:00:18 +02:00
TimeManagement.cpp Kernel/aarch64: Make RPi::Timer a DeviceTree::Driver 2024-11-02 13:53:10 -04:00
TimeManagement.h Kernel/aarch64: Make RPi::Timer a DeviceTree::Driver 2024-11-02 13:53:10 -04:00
TimerQueue.cpp
TimerQueue.h