Paparazzi UAS  v5.15_devel-230-gc96ce27
Paparazzi is a free software Unmanned Aircraft System.
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Modules Pages
haclc module

HACL* verified cryptographic library

see https://github.com/mitls/hacl-star for details

Example for airframe file

Add to your firmware section:

1 <module name="haclc"/>

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>