| 16 | * Kernel console improvements: |
| 17 | * Kernel output is now mirrored to the serial port by default on x86[_64] platforms. This is complemented by `tools/ew.py` connecting serial port to console stdio by default (can be overridden using `-noserial`, see below). |
| 18 | * Kernel console output printed from user tasks via `kio_printf()` facility is now prefixed with the identity of the source, and some effort is made to prevent splitting of lines. |
| 19 | * When an assertion fails in a user task, the full report is printed to kernel console before an attempt is made to print it via regular channels. |