040000 tree 56c24fd8e6d058f3d7f4e48c17d5475540448f3f	arch
100644 blob f76e90ac70d6407e8a255574a1f336fe7a8fe7f4	device.c
100644 blob 887fe758c31e311186a747559082c1a1c5666bb0	device_utils.c
040000 tree 16100b460fdf5a661c5da957293d910e2ccd7336	drivers
100644 blob f8e97e8857e0e6f3c2d5e00ca5faa29063aaa9c1	guest_memory_util.c
100644 blob 9bf80d61060bc095ff9702de2412b6aca3f9ebf7	ioports.c
040000 tree bd39a976da4462cd19dc45c011f9290b8d4b7f1f	plat
040000 tree c46eab8fd635847386ebbcdd139f5d31e548f57d	sel4_arch