040000 tree 0567a719a633013b23597c707d1f11102172b1f6	arch
100644 blob f76e90ac70d6407e8a255574a1f336fe7a8fe7f4	device.c
100644 blob 887fe758c31e311186a747559082c1a1c5666bb0	device_utils.c
040000 tree 45ff714054b2944bc436090e84c6b5d09ad57716	drivers
100644 blob f8e97e8857e0e6f3c2d5e00ca5faa29063aaa9c1	guest_memory_util.c
100644 blob 4bb3d6cf3b78c8821dc1135bcb32157cc6ca46aa	ioports.c
040000 tree bd39a976da4462cd19dc45c011f9290b8d4b7f1f	plat
040000 tree c46eab8fd635847386ebbcdd139f5d31e548f57d	sel4_arch