diff options
| author | Paul Selkirk <paul@psgd.org> | 2020-03-09 15:47:17 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2020-03-09 15:50:12 -0400 |
| commit | 38b388061364339c1259b56fe1d366de8b8630d3 (patch) | |
| tree | e6243e7a5c8f8051d85510824dee551222015872 /libraries/mbed/api | |
| parent | 6b2513f1e0def3a134383aa635cb41feac37be31 (diff) | |
Replace the brutally inefficient fp_to_unsigned_bin with one based on
fp_read_unsigned_bin.
I thought about patching it directly in sw/thirdparty/libtfm, but
ultimately decided to keep that pristine (especially since we verify file
checksums there).
Diffstat (limited to 'libraries/mbed/api')
0 files changed, 0 insertions, 0 deletions