I don’t see anything preventing you for doing that: many drivers are integrated into NixOs, including the complicated proprietary nvidia drivers (and if you pay me $1M I can certainly try to spend a bit on time on that 
). I guess you won’t have the source code, so you will certainly need to patch the binaries. For that I wrote a tutorial here, you certainly want the autopatchelf method.
If your driver comes in the form of a kernel module, then you will certainly like boot.kernelModules (the full list of options and how they are used is here). I explained here how I used it to package and load a droidcam module (you can see there where to install your module…).
Finally, do not hesitate to look at nixpkgs’s source code to find example of drivers GitHub - NixOS/nixpkgs: Nix Packages collection & NixOS. I find github search engine to be quite bad, but using git clone to get it locally and rg yourtext (from ripgrep) to search through it is quite efficient.
If you have more specific questions, feel free to ask. If you give more information on what the SDK is giving you it will certainly be easier to give you a better answer… If you have some .deb I would write a derivation that extracts them, patch them and copy the files at the right locations, then load the modules as explained above… but it’s hard to say more without knowing what is your starting point.