download_and_patch.sh « mbedtls « monniaux « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/monniaux/mbedtls/download_and_patch.sh

blob: 32f660fa4abc6e804d0f9106a0553ffc4c91af7e (plain)

git clone https://github.com/ARMmbed/mbedtls.git
cd mbedtls
git checkout f352f75f6bd5734c8f671323dd6ab32472d5da34
patch -p1 < ../mbedtls_Kalray.patch