The sha256 setup is very likely bitcoin-specific, and you don't need lib files or SDK to simply issue an instruction:
Sure, you can do it as asm instructions or you can use the SDK to make it more easy to read, it's going to result in the same code in either case.
the bitcoin usage of SHA256 does not prevent you from using Padlock C style functions because they are the same standard of init, update, final.