040000 tree c211065f3435fb2d86936f1bf84ddfaa366a824f	arch
100644 blob e70ee918ccbeced3f3b7bd00e099342f3e066216	bootinfo.c
100644 blob a1f130e55ffd7f999823a64fd736215d72d6c8d3	common.c
100644 blob 9e9f2d40160b7219ce40018fc2521fa2ed31ed51	device.c
100644 blob 59031d3e15e37e07fb86ef0e42dfad75c9df4b9a	io.c
100644 blob 555a393793ddbadda3c1babd2646898461facf30	irq.c
040000 tree 4ec70676fc8ed9485159dbdb41bbc47ae4e01590	plat
100644 blob 85b656399fb4648165db2ef718d1861e209e303e	plat_internal.h
040000 tree e852bbbdf6ad84106d8e3cdc299a8379bcff1b56	sel4_arch
100644 blob 77d93be2ed6823c07bf01d261f5386545f3dca3a	serial.c
100644 blob 0e01d680d3de1519bf6e3d046627615bc6582c11	timer.c