haclc module

HACL* verified cryptographic library

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

Example for airframe file

Add to your firmware section:

<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>