040000 tree ddb0d19712e96b89374dbc8f48955a978c11fa84	arch
100644 blob 290603530d684d141b0b0e4a261e41075a3add33	bootinfo.c
100644 blob fbc9c77292ee4d90138fd661f2533a3c3028b458	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 eedbe05b4d51267f8b65007d9b78384f84a305fb	sel4_arch
100644 blob 1904840e0fc836e6915d279492f46426c09a4521	serial.c
100644 blob ead196d8745a18f36074baa599f0df0f45b8efb1	timer.c