Hi Experts, 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 ? -- regards, Sathya
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
