Skip to content
GitLab
Explore
Sign in
Register
redox-os
kernel
Repository
kernel
src
arch
aarch64
device
generic_timer.rs
Find file
Blame
History
Permalink
aarch64: Basic driver for Cortex-A Generic Timers
· ffcc73e0
Robin Randhawa
authored
Feb 15, 2019
This needs to use device tree for configuration. It currently uses a hard coded IRQ number.
ffcc73e0