040000 tree 7b80cb2bab4c6f7a92a9a2d6bfae63470c7c5ef2	aarch64
100644 blob 86adb9cb145b4d0fe0f4dd676a666e709dab6e9f	bakery_lock.h
100644 blob 0e5529dd6ab0667a0c29b1515220f6335a03a748	cassert.h
040000 tree 284a3832b19250d5963b31845fca621db30b1dc4	cpus
100644 blob 19f798f46488ed43b1ecba65bebd5b7d6be8a6f6	mmio.h
100644 blob b4eecc590b4728fb9e5c84cf67952bd00f6c37f3	semihosting.h
100644 blob cb0bc3e5d9b43e1d0f308422157b337968e5660c	spinlock.h