Nice bit of audio work and embedded Linux work tonight. I managed to have the Linux sound framework working, taken from a Yocto build. It was enough to instantiate the audio card interfaces, including USB audio, and even run audio playback through HDMI and a DUET USB audio interface.