040000 tree 08d91484de8920eea59b880089d7463de5642b7a	aarch64
100644 blob 95634cf5480dba6949f141e16cabe080f3351bc2	bakery_lock.h
100644 blob 0e5529dd6ab0667a0c29b1515220f6335a03a748	cassert.h
100644 blob ae1158c03774a098ee05e7908b6200ad95c6ae3f	io_storage.h
100644 blob 5d33c5977a0cd81138e372d13ac77b82d3df0841	mmio.h
100644 blob b4eecc590b4728fb9e5c84cf67952bd00f6c37f3	semihosting.h
100644 blob cb0bc3e5d9b43e1d0f308422157b337968e5660c	spinlock.h