tree f50f1352705490ea31801047221fdb69a080b5fd
parent 89e76556910c2704313fe23b174f2742702a3a29
author Christoph M. Wintersteiger <cwinter@microsoft.com> 1540467127 +0100
committer Janos Follath <janos.follath@arm.com> 1566217178 +0100

ECDH: Add Everest Curve25519 to 3rdparty/everest

These files are automatically generated by the Everest toolchain from F*
files. They do not respect the mbedTLS code style guidelines as manual
modification would invalidate verification guarantees. The files in
3rdparty/everest/include/kremli{n,b} are a customized (minimzed) version of the
support headers expected by the code extracted using KreMLin.