100644 blob a20a0bee268d3c3b834f71dc8956d57d27718adf	hyp-abi.txt
100644 blob aafdab887b047b6f14c85f29660d838b2d3f4143	psci.txt
100644 blob 38bca2835278c188d15fa9640965d222aeabe168	vgic-mapped-irqs.txt