Files
pico-hsm/platform_util.c