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