100644 blob 51b322c075546a4f266b33c8a7a6176cb78dd2d1	k3_console.h
100644 blob 2c68a7518b9181d92bc1a48b357f84a3becbe9c3	k3_gicv3.h
100644 blob 38056b54ff9f4525560d426f608ab3dfac5d7fa0	plat_macros.S
100644 blob a2cc62d34cb3ddc5c6fcb230f5b78190a4f19788	platform_def.h