Support for HACL* (High Assurance Cryptographic Library)

HACL* RIOT package

Usage

Just add it as a package in your application:

USEPKG += hacl

And don't forget to include the header for the HACL* standard API:

#include <HACL.h>

or for HACL*'s NaCl-compatible API:

#include <haclnacl.h>

See also: https://github.com/RIOT-OS-pkgmirror/hacl-c_archived; https://hacl-star.github.io/; https://github.com/project-everest/hacl-star/