stdio Does Not Work with MicroC/OS-II and Small C Library

Description

stdin, stdout, and stderr do not work in MicroC/OS-II applications built with the Small C library option.

Resolution

Disable the small C library option.