Debian
gcc-arm-none-eabi package

  1. Bug #1838143
  2. Comment #4

Comment 4 for bug 1838143

Revision history for this message
Keith Packard (keithp) wrote :

Merge request !10 includes a work-around for this issue by patching the code to use gcc's own stdint.h directly