sdk/lib/freestanding/README.md
Free-standing C functions
This directory contains the required functions for a free-standing C implementation. A compiler is free to insert calls to any of these functions and so it is likely that most firmware images will need them.