Hello @hoffman.jon ,
Nice. I found that source a while back and use it to this day for random things, i.e. GPIO in sysfs and libgpiod.
Seth
P.S. look here: Debian 11.x (Bullseye) - Monthly Snapshots (ARM64) - General Discussion - BeagleBoard .
This shows the current overlays on the BBAI-64. # current-built-in-overlays-9 .