STM32MP2 update: I have logging on the A35 cores via the UART on the M33!
It took a bit of work to get the IPC channels up and running (using the IPCC to handshake a buffer in SRAM2) but now you can just log by invoking g_log("foo") like you could anywhere else in my platform and it a) goes to the right place and b) is tagged with the core ID.
@… Have you seen this about a monitor you can buy with VGA, BNC, and AV inputs with a serviceable 1280x1024 resolution? https://eigenmagic.net/@vampiress/11546174204534…