040000 tree a0fe0ea74d61f888f73db5c8720cad58bf538d57	arch
100644 blob 290603530d684d141b0b0e4a261e41075a3add33	bootinfo.c
100644 blob 9e6d8e62bb1fac4f9bd2d587c271a19b51fbe794	common.c
100644 blob 023de07271e0a08959ce51c86436ab534b04c356	device.c
100644 blob eb0d6b43e26c8573e009c9151aef020fd27c343e	dummy_tls.c
100644 blob 249f0d826ac67476c217b5609c677878c5ca8daf	io.c
040000 tree 720ceb76a9d03de031ae3d3837cedcdb2b2698bc	plat
100644 blob f99491ff4d542f8228800ea403fdf454a4936964	plat_internal.h
040000 tree 7baa2e0995d81c2921d61a8145de3c36064dc29e	sel4_arch
100644 blob 1904840e0fc836e6915d279492f46426c09a4521	serial.c
100644 blob d9b821ccde43d0188771d83692407132a49c6eda	timer.c