040000 tree d3d125ad8654a521c2c62307ef2d8022cfd38380	arch
100644 blob d8d099cc064d0de5565bdb9fba902314aeab30f7	bootinfo.c
100644 blob 38dfdca47fa67563fb09756392920aa2f87e546b	common.c
100644 blob 084597f009680d351d0acc1a3e0479e2ff4c277a	device.c
100644 blob 18377c4258efa2bafc6132956f4973b0bae6ba1f	io.c
100644 blob 27d09ef5f9823149cf928af0352bf489d06058b4	irq.c
040000 tree c43921bab98029cfec7bccfc2da6a71b95b48a8c	plat
100644 blob f99491ff4d542f8228800ea403fdf454a4936964	plat_internal.h
040000 tree 5028bfd9d859e69b51d7094973b8d34f77e95279	sel4_arch
100644 blob 635ba7249947b400f6686999c2f91bf6f5f333fe	serial.c
100644 blob d46d189d9c57555e56dce99cf4a4e8a51da9d393	timer.c