/linux/include/config/vexpress/

• ../
• config.h
• syscfg.h