Skip to content
GitLab
Explore
Sign in
Register
xenomai
ipipe-arm
Repository
ipipe-arm
drivers
clocksource
bcm2835_timer.c
Find file
Blame
History
Permalink
clocksource: ipipe: bcm2835: fix build with CONFIG_IPIPE disabled
· 0aa6661b
Philippe Gerum
authored
Apr 04, 2019
0aa6661b