They did release Open Kernel drivers, which I hadn’t tested. Those are the “open-source” drivers. Sure, their firmware could be proprietary (though I didn’t see any issues with it).