/drivers/arm/
../
gic
pl011
sp805
timer