1. 61f72a3 Create a library file for libc by Roberto Vargas · 7 years ago[Renamed from include/lib/stdlib/machine/_stdint.h]
  2. 81bccbf Fix stdlib defines for AArch32 by Soby Mathew · 8 years ago
  3. 4c0d039 Rework type usage in Trusted Firmware by Soby Mathew · 9 years ago
  4. f0b489c Move stdlib header files to include/lib/stdlib by Dan Handley · 9 years ago[Renamed from include/stdlib/machine/_stdint.h]
  5. 0f702c6 Create local C library implementation (2/2) by Harry Liebel · 12 years ago