So I will have 2x physical UART provided on my board. I am using printk(), and I want to choose which UART handles console traffic by config options.
How to achieve that? All I can see are the boolean options such as CONFIG_SERIAL=y to turn it off or on.