100644 blob 5f0118d98640cc88f90cdddc37d66a14eb4392ba	Kconfig
040000 tree 729bb8eac7da7b6c63422f71d40201f2316d6ebe	devicetree
040000 tree b4627682521447ca594303ab2c26f3d18fd8fe9f	vexpress
040000 tree c69ae64c67ab5a7366f87214d675e31931be272d	vexpress_1xv7_a57
040000 tree 8395c75a036cf2b3b1ab4b4ad24741e1a6c048c8	vexpress_6xvirtex7_10mhz