I am curious to know how SEL4 recognises the existence of UART on the board
and mapped to a particular memory address.
I see there is no DTB/ DTS files read from memory.
could someone help me understand the concept here ?
Or is it something hardcoded in the kernel ?