Still looking through sources, but is there a way to have the STM32MP157C-DK2 boot up on the HDMI connector instead of the DSI connector? Not interested in X11 operation, just a default text console, ala the BBB.
@jcwren, this turned out to be a little tricky. The STM32’s video driver can’t handle two displays at once, so you need to disable the DSI on startup: Open up, /boot/extlinux/extlinux.conf and add the “video=DSI-1:d” option to the console line:
append console=ttySTM0,115200 root=/dev/mmcblk0p4 ro rootfstype=ext4 rootwait quiet video=DSI-1:d
Awesome, worked perfectly. I had been browsing the kernel sources trying to see if I could figure out if there were any cmdline parameters that might do that. I’d have NEVER found that combination.