040000 tree a6dc335313deb03435edd46b7c365aad0712b6e5	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 4bb3d6cf3b78c8821dc1135bcb32157cc6ca46aa	ioports.c
040000 tree bd39a976da4462cd19dc45c011f9290b8d4b7f1f	plat
040000 tree c46eab8fd635847386ebbcdd139f5d31e548f57d	sel4_arch