Is this possible already, what does the binary GPU driver need to boot?
I’m thinking USB, SD-card, HDMI and ETH.
I’m guessing the audio has no DAC so we need to use a USB headphone dongle?
What do you mean by AL in OpenGL + AL?
A X-Powers AC108 based Audio HAT (search for “reSpeaker 4-Mic Array for Raspberry Pi”) or Wolfson (acquired by cirrus logic in 2014 where the part was discontinued, replaced by wm8962b. Sold/cloned by sunnyqi ?) WM8960 based Audio HAT. They should work at some stage, maybe they work now, I have no idea, I do not own either.