100644 blob 6376ab3b7baf30e285b3ea39f1aea62b6fa4a9ce	k3_console.h
100644 blob 52f34ff1f693682af8d345a43cf69120c6fc6008	k3_gicv3.h
100644 blob 38056b54ff9f4525560d426f608ab3dfac5d7fa0	plat_macros.S
100644 blob 7d1df0aef78f6675dfb522c670da0ae2c763af16	platform_def.h