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 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