040000 tree 13632696298810dca0fb294f0eebdb65725590eb	aarch64
100644 blob 2e1afa21f3b694c1b217ecd9697e6aa7eddb540f	bakery_lock.h
100644 blob 0e5529dd6ab0667a0c29b1515220f6335a03a748	cassert.h
040000 tree 3710c62ca9bd779cec9bf944a9e51ccc93747871	cpus
100644 blob cb37a1c89c29cc39f343b19cff4fcf79022404be	mmio.h
100644 blob b4eecc590b4728fb9e5c84cf67952bd00f6c37f3	semihosting.h
100644 blob cb0bc3e5d9b43e1d0f308422157b337968e5660c	spinlock.h