040000 tree 1c0926906ec3a048f97fa13c401f4e0770246d76	arch
100644 blob f76e90ac70d6407e8a255574a1f336fe7a8fe7f4	device.c
100644 blob 887fe758c31e311186a747559082c1a1c5666bb0	device_utils.c
040000 tree 4d0cc216343d7b92545f7ec0f3b27cae9d3d13ef	drivers
100644 blob f8e97e8857e0e6f3c2d5e00ca5faa29063aaa9c1	guest_memory_util.c
100644 blob 9bf80d61060bc095ff9702de2412b6aca3f9ebf7	ioports.c
040000 tree bd39a976da4462cd19dc45c011f9290b8d4b7f1f	plat
040000 tree c46eab8fd635847386ebbcdd139f5d31e548f57d	sel4_arch