100644 blob ef9fb963ecf560c001603f02b3003671a78ea8ef	Kconfig
040000 tree c15a23c8c84b01d5a9721f1af60ea17608d37beb	devicetree
040000 tree 7715ad72f33a99e5fc2c3711e333dd3670bfd871	vexpress
040000 tree 5f477ae50689f802d626555fe6e40ec9d7ea8e53	vexpress_1xv7_a57
040000 tree 0acc9b1881f4f55528b135ede9e7d92af29d2f73	vexpress_6xvirtex7_10mhz