040000 tree f025ff71bda1b81208e7eebf84b42ee356cbfbd6	aarch64
100644 blob 2e1afa21f3b694c1b217ecd9697e6aa7eddb540f	bakery_lock.h
100644 blob 0e5529dd6ab0667a0c29b1515220f6335a03a748	cassert.h
040000 tree 90b144c85b631d89bd41a57514e118e08ab7b933	cpus
100644 blob cb37a1c89c29cc39f343b19cff4fcf79022404be	mmio.h
100644 blob b4eecc590b4728fb9e5c84cf67952bd00f6c37f3	semihosting.h
100644 blob cb0bc3e5d9b43e1d0f308422157b337968e5660c	spinlock.h