100755 blob ef9fb963ecf560c001603f02b3003671a78ea8ef	Kconfig
040000 tree 6aa4860d732e0ded6d76cc427e628a5ad1ff1179	devicetree
040000 tree 7104faa1040b7cf38492da0f308f275c617b544c	vexpress
040000 tree 5aedf6feb3e4e4bd8f1bddd36a1b5d58ad473bf0	vexpress_1xv7_a57
040000 tree 3a70ee90564a431038cc7656ee51291f425bfb2d	vexpress_6xvirtex7_10mhz