Report panic messages to the host stderr using semihosting - View it on GitHub