So it turns out I did not actually finish the schematic last time. I fixed several things, added a real power switch, as well as two keys for some simple controls other than voice. I also added some rgb leds. It helped a lot that apparently you can use the JTAG debug pins as GPIO after boot, so I managed to go from using 2 gpio pins for 1 mic to using essentially 0 gpio for 2 mics, since they run on L/R channels and can use the same data and clock pins at this quantity. Here’s some schematic screenshots.