SharkSSL™ Embedded SSL/TLS Stack

SHA512 cryptographic hash.