AudioIODeviceType for DeckLink SDI Card

Has anyone made, or care to make an AudioIODeviceType that will output multiple audio channels to a DeckLink SDI card?

Is this a trivial undertaking? There are fairly simple methods in the new API to schedule audio ‘frames’ - seems to just be buffers of samples. There’s a callback available in the SDK if juce doesn’t run one.