Topic: Raspberry Pi 4 with Babyface . Yes really!
I have been experimenting with the latest RPi running Ubuntu 64 bit. The good news is that I had to do very little to get it to recognise the the babyface inputs and outputs and it was quite happy to power it from a USB 3 socket. It just needed
>sudo alsa force-reload
and it worked.
Playback quality is of course far better than the RPi headphone socket and CPU load was quite reasonable. I can play 192KHz wav files with no resampling using VLC player and streaming from Minimserver DLNA ( running on an RPi 3 !). Almost too good to be true.