ifx-mbedtls is a port of ARM mbedTLS library for Infineon devices. - View it on GitHub