2.12.2. Target‑dependent input/output support functions
rt_sys.h defines the type FILEHANDLE. The value of FILEHANDLE is returned by _sys_open() and identifies an open file on the host system.
Target-dependent input and output functions use semihosting. If any function is redefined, all stream‑support functions must be redefined.