040000 tree 57c64c6e99bdd3d89575ca46a5fa17e66ca471aa	arch
100644 blob 7320e3389ebb96441529e57487162b3f26319219	bootinfo.c
100644 blob 38dfdca47fa67563fb09756392920aa2f87e546b	common.c
100644 blob e99bb226d277b9bb956c706b7767f4ead251ebf3	device.c
100644 blob 20433beaa374fe400db4500f5b8c7029d1ac4bde	io.c
100644 blob d07082783e527f39f0cfa86fc938c342941564ee	irq.c
040000 tree 994c48ebe6c7c5603f921bf26b7d9bac214d9301	plat
100644 blob f99491ff4d542f8228800ea403fdf454a4936964	plat_internal.h
040000 tree 5028bfd9d859e69b51d7094973b8d34f77e95279	sel4_arch
100644 blob 635ba7249947b400f6686999c2f91bf6f5f333fe	serial.c
100644 blob 5988a9c41a3a716ea0bb5824b1d41c8ebda39bd1	timer.c