tree 8648cd73263f3b98548e88a82c0f85d058791262
parent 7228da25f9685bb0bff34d2ee9959308130eb4c6
author Gilles Peskine <Gilles.Peskine@arm.com> 1563181598 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1563182273 +0200

Favor stdint.h types in internal types

Use uint8_t for PSA buffers. Keep unsigned char for generic libc
buffers and for mbedtls buffers.