040000 tree b43292e6b65e1c302e37d499349cce9128b91c20	aarch64
100644 blob 9736f850accdfd5c54bb8afa851a178dec524f32	bakery_lock.h
100644 blob 0e5529dd6ab0667a0c29b1515220f6335a03a748	cassert.h
040000 tree d44c327b66fe921191532fbab6d5596a47978be0	cpus
100644 blob cb37a1c89c29cc39f343b19cff4fcf79022404be	mmio.h
100644 blob b4eecc590b4728fb9e5c84cf67952bd00f6c37f3	semihosting.h
100644 blob cb0bc3e5d9b43e1d0f308422157b337968e5660c	spinlock.h