040000 tree 3e52abd3eb8928c52f8f9209788b8df906168507	arch
100644 blob f76e90ac70d6407e8a255574a1f336fe7a8fe7f4	device.c
100644 blob 887fe758c31e311186a747559082c1a1c5666bb0	device_utils.c
040000 tree 0ff4039f4339c4ea5c0f396624e6a315e26935f2	drivers
100644 blob b58128f63642bab8d5ff8961c7d0131d46599d09	guest_memory_util.c
100644 blob 82de374e2d336cf329ff8b2c452be45b52da2276	ioports.c
040000 tree bd39a976da4462cd19dc45c011f9290b8d4b7f1f	plat
040000 tree c46eab8fd635847386ebbcdd139f5d31e548f57d	sel4_arch