100644 blob 6376ab3b7baf30e285b3ea39f1aea62b6fa4a9ce	k3_console.h
100644 blob 2c68a7518b9181d92bc1a48b357f84a3becbe9c3	k3_gicv3.h
100644 blob 38056b54ff9f4525560d426f608ab3dfac5d7fa0	plat_macros.S
100644 blob ae3775a2721e65bce8b1eccb4ca44c43dda5376a	platform_def.h