4 commits

Author	SHA1	Message	Date
Shaun Case	8b0ecbccf4	Redo of PR#5345. Fixed spelling and typographical errors found by CodeSpell. ... Signed-off-by: Shaun Case <warmsocks@gmail.com> Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>	2022-05-11 21:25:51 +01:00
Christoph M. Wintersteiger	7ec367ffc1	3rdparty: don't claim armcc support in Everest Readme.md	2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger	e7e74ba33b	3rdparty: Improve Everest README.md	2019-08-19 13:37:46 +01:00
Christoph M. Wintersteiger	bee486146e	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.	2019-08-19 13:19:38 +01:00