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
TimeManagement.cpp
TimeManagement.h
TimerQueue.cpp
TimerQueue.h