mirage/mirage-platform — pull request #111 by talex5 (2014-12-16 15:38:41+00:00)
Title: Added some missing definitions to stdint.h

These are needed to compile ctypes.