HACL* verified cryptographic library
see https://github.com/mitls/hacl-star for details
Example for airframe file
Add to your firmware section:
Files
Source Files
- ../ext/hacl-c/Hacl_Chacha20Poly1305.c
- ../ext/hacl-c/kremlib.c
- ../ext/hacl-c/FStar.c
- ../ext/hacl-c/Hacl_Policies.c
- ../ext/hacl-c/AEAD_Poly1305_64.c
- ../ext/hacl-c/Hacl_Chacha20.c
- ../ext/hacl-c/Hacl_Curve25519.c
- ../ext/hacl-c/Hacl_Ed25519.c
- ../ext/hacl-c/Hacl_SHA2_512.c
Raw haclc.xml file:
<!DOCTYPE module SYSTEM "module.dtd">
<module name="haclc">
<doc>
<description>
HACL* verified cryptographic library
see https://github.com/mitls/hacl-star for details
</description>
</doc>
<makefile target="!fbw|sim">
<file name="Hacl_Chacha20Poly1305.c" dir="../ext/hacl-c"/>
<file name="kremlib.c" dir="../ext/hacl-c"/>
<file name="FStar.c" dir="../ext/hacl-c"/>
<file name="Hacl_Policies.c" dir="../ext/hacl-c"/>
<file name="AEAD_Poly1305_64.c" dir="../ext/hacl-c"/>
<file name="Hacl_Chacha20.c" dir="../ext/hacl-c"/>
<file name="Hacl_Curve25519.c" dir="../ext/hacl-c"/>
<file name="Hacl_Ed25519.c" dir="../ext/hacl-c"/>
<file name="Hacl_SHA2_512.c" dir="../ext/hacl-c"/>
<define name="KRML_NOUINT128"/>
<raw>
# tell Makefile.ac to generate keys
GENERATE_KEYS = 1
</raw>
</makefile>
</module>