Hello,
it looks like the documentation of System_printf() is inconsistent or unclear in respect to thread safety:
"This module is gated and other modules use its gate via the Gate.enterSystem and Gate.leaveSystem. ... "
Looking at the source code, System_printf() doesn't seem to enter the system gate. I understand that the underlying SysMin / SysStd modules provide thread safety, but only on a character basis. This can lead to very confusing output strings when multiple System_printf() calls interrupt each other.
Thanks,
Ralf