040000 tree 57c64c6e99bdd3d89575ca46a5fa17e66ca471aa	arch
100644 blob 7320e3389ebb96441529e57487162b3f26319219	bootinfo.c
100644 blob 9e6d8e62bb1fac4f9bd2d587c271a19b51fbe794	common.c
100644 blob 023de07271e0a08959ce51c86436ab534b04c356	device.c
100644 blob 249f0d826ac67476c217b5609c677878c5ca8daf	io.c
100644 blob d07082783e527f39f0cfa86fc938c342941564ee	irq.c
040000 tree 720ceb76a9d03de031ae3d3837cedcdb2b2698bc	plat
100644 blob f99491ff4d542f8228800ea403fdf454a4936964	plat_internal.h
040000 tree 2d406c6f8562c04af777a164c11f78f7b29be0cd	sel4_arch
100644 blob 059ecd1857885f34e35a1315f12760ff5a810ba6	serial.c
100644 blob d9b821ccde43d0188771d83692407132a49c6eda	timer.c