Oh, say, use some binary C library with some header, that you found on some system.

That shouldn't be too tricky, assuming the binary is built for the sort of device you want to run on. At least not much more complicated than calling any other C code, using bindgen.