040000 tree 88a6e0a3e7c4c9071cb1b7f7a5c8e94adb7aa833	aarch64
100644 blob 95634cf5480dba6949f141e16cabe080f3351bc2	bakery_lock.h
100644 blob 0e5529dd6ab0667a0c29b1515220f6335a03a748	cassert.h
040000 tree a5ee7dd92bb6ebafe627b1db1005ec73674695dc	cpus
100644 blob cb37a1c89c29cc39f343b19cff4fcf79022404be	mmio.h
100644 blob b4eecc590b4728fb9e5c84cf67952bd00f6c37f3	semihosting.h
100644 blob cb0bc3e5d9b43e1d0f308422157b337968e5660c	spinlock.h