how to know Linux run rightly?

[Rivanfirdausa123]

I use verdin imx8mplus dahlia carrier board ,

0155520 bytes read in 2420 ms (19.8 MiB/s)

Starting application at 0x60200000 ...

Bao Hypervisor
Bao FreeRTOS guest
Task1: 0
Task2: 0
Task1: 1
Task2: 1
Task1: 2
Task2: 2
So，it looks like that the FreeRTOS run OK. But I dont know if the Linux run OK too, So ,what's wrong with Linux? How to debug?

[josecm]

In the demos Linux is typically accessible via ethernet. Please check the linux+freertos demo instructions.

[Rivanfirdausa123]

What I mean is to view the Linux kernel log that is built. If FreeRTOS exits on UART3, and Verdin UART3 is USB debug, which console does Linux exit from? I am confused about where to view the Linux kernel that is booting. Perhaps you can provide me with an explanation, whether it is a reconfiguration in verdin.c config or in devicetree. Thank you