040000 tree 3debd7d1aaf76b44a2e0770b63264319112cfd31	arch
100644 blob 290603530d684d141b0b0e4a261e41075a3add33	bootinfo.c
100644 blob e2269f4cf472cf4c99a35bca232c72047acd498f	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 667aadd0bbe83f0ac41090e365c23bef41729ad6	timer.c