/kernel/arch/arm/plat-versatile/

• ../
• Kconfig
• Makefile
• clock.c
• headsmp.S
• include
• platsmp.c
• sched-clock.c