On macOS 26.4, following the instructions for the microkit tutorial, I did all the brew-ha-ha, then I get stuck:
Z% ll -tr
total 160656
drwxr----- 9 yost staff 288 2026-03-30.22:37:34 microkit-sdk-2.2.0
-rw-rw---- 1 yost staff 62426546 2026-04-04.13:10:22 sdk.tar.gz
-rw-rw---- 1 yost staff 18059030 2026-04-04.13:11:18 tutorial.tar.gz
drwxr-x--- 11 yost staff 352 2026-04-04.13:17:26 tutorial
Z% cd tutorial
Z% make part1
aarch64-linux-gnu-gcc -c -mcpu=cortex-a53 -mstrict-align -nostdlib -ffreestanding -g -Wall -Wno-array-bounds -Wno-unused-variable -Wno-unused-function -Werror -I../microkit-sdk-2.2.0/board/qemu_virt_aarch64/debug/include -Ivmm/src/util -Iinclude -DBOARD_qemu_virt_aarch64 vmm/src/util/printf.c -o build/printf.o
aarch64-linux-gnu-gcc -c -mcpu=cortex-a53 -mstrict-align -nostdlib -ffreestanding -g -Wall -Wno-array-bounds -Wno-unused-variable -Wno-unused-function -Werror -I../microkit-sdk-2.2.0/board/qemu_virt_aarch64/debug/include -Ivmm/src/util -Iinclude -DBOARD_qemu_virt_aarch64 vmm/src/util/util.c -o build/util.o
aarch64-linux-gnu-gcc -c -mcpu=cortex-a53 -mstrict-align -nostdlib -ffreestanding -g -Wall -Wno-array-bounds -Wno-unused-variable -Wno-unused-function -Werror -I../microkit-sdk-2.2.0/board/qemu_virt_aarch64/debug/include -Ivmm/src/util -Iinclude -DBOARD_qemu_virt_aarch64 serial_server.c -o build/serial_server.o
aarch64-linux-gnu-ld -L../microkit-sdk-2.2.0/board/qemu_virt_aarch64/debug/lib build/printf.o build/util.o build/serial_server.o -lmicrokit -Tmicrokit.ld -o build/serial_server.elf
../microkit-sdk-2.2.0/bin/microkit wordle.system --search-path build --board qemu_virt_aarch64 --config debug -o build/loader.img -r build/report.txt
Error: "unable to find program image: 'hello_world.elf'"
make: *** [build/wordle_part_one.img] Error 1
Z% ls build
printf.o serial_server.elf serial_server.o util.o
Z%