1. 0f8f985 Create a library file for libc by Roberto Vargas · Tue May 08 10:27:10 2018 +0100[Renamed from include/lib/stdlib/machine/_stdint.h]
  2. dc07517 Fix stdlib defines for AArch32 by Soby Mathew · Tue Jun 06 10:01:03 2017 +0100
  3. a0fedc4 Rework type usage in Trusted Firmware by Soby Mathew · Thu Jun 16 14:52:04 2016 +0100
  4. d7b59e4 Move stdlib header files to include/lib/stdlib by Dan Handley · Thu Jun 02 17:15:13 2016 +0100[Renamed from include/stdlib/machine/_stdint.h]
  5. 0f702c6 Create local C library implementation (2/2) by Harry Liebel · Tue Dec 17 18:19:04 2013 +0000