mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-09 22:49:53 +08:00
Michal Podhradsky
d66fc0c3b7
* Added RNG for NPS, cleaned up telemetry config files * Added Rust submodules * Added simple status message * Updated gec transport and key exchange * Update pprzink * Compilation fix for Travis
28 lines
887 B
XML
28 lines
887 B
XML
<!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>
|
|
|