040000 tree f9f3c99d126793fa055e7fb28bfce2cbb73fae71	arch
100644 blob 290603530d684d141b0b0e4a261e41075a3add33	bootinfo.c
100644 blob dfe2aec319e3ca2e97236eb0ca5872eb6fe9d876	common.c
100644 blob 023de07271e0a08959ce51c86436ab534b04c356	device.c
100644 blob eb0d6b43e26c8573e009c9151aef020fd27c343e	dummy_tls.c
100644 blob 249f0d826ac67476c217b5609c677878c5ca8daf	io.c
040000 tree b2fa1ce28b81892f93d06f5480c63aa951978fc2	plat
100644 blob f99491ff4d542f8228800ea403fdf454a4936964	plat_internal.h
040000 tree a9d424e3a422188d24d1b322ba005d143fba2274	sel4_arch
100644 blob abc29536b558f1ccc20c5b8f3b998b8f091bf7f3	serial.c
100644 blob ead196d8745a18f36074baa599f0df0f45b8efb1	timer.c