mirror of
https://github.com/yuzu-emu/mbedtls.git
synced 2024-12-28 18:35:51 +00:00
bee486146e
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.
2 lines
142 B
Markdown
2 lines
142 B
Markdown
The files in this directory stem from [Project Everest](https://project-everest.github.io/) and are distributed under the Apache 2.0 license.
|