/bsps/aarch64/shared/
../
cache
clock
irq
start