4 Commits

Author	SHA1	Message	Date
Hendiadyoin1	53dd04e219	Kernel/riscv64: Read the timebase-frequency from the device tree	2024-02-24 16:43:44 -07:00
Sönke Holz	d061da4cf5	Kernel/riscv64: Clean up Timer class ... I just copy-pasted microseconds_since_boot and set_interrupt_interval_usec from aarch64. However, on RISC-V, they are not in microseconds. The TimerRegisters struct is also unused. current_time and set_compare can also be private and static.	2024-01-23 13:13:18 -07:00
Sönke Holz	8582f0720f	Kernel/riscv64: Make RISC-V Timer inherit from GenericInterruptHandler ... IRQHandler is not the correct class to inherit from, as the timer is not connected to an IRQController. Each hart has one of these Timers directly connected to it.	2024-01-23 13:13:18 -07:00
Sönke Holz	4292b0ead7	Kernel/riscv64: Add a Timer class for RISC-V ... This is a basic Timer class based on the aarch64 RPi Timer. It uses the hart-local timer, as defined by the privileged ISA.	2024-01-02 06:50:59 -07:00