040000 tree bda60f45592044a7f08bd5c90aa592062b95e437	aarch64
100644 blob 86adb9cb145b4d0fe0f4dd676a666e709dab6e9f	bakery_lock.h
100644 blob e8089cbbe1ac5555855cdf56c8a9c946640568dc	cassert.h
040000 tree 071ed05037e80118a3a6af12e48366fd540519a1	cpus
100644 blob 19f798f46488ed43b1ecba65bebd5b7d6be8a6f6	mmio.h
100644 blob b4eecc590b4728fb9e5c84cf67952bd00f6c37f3	semihosting.h
100644 blob cb0bc3e5d9b43e1d0f308422157b337968e5660c	spinlock.h