Hi, On 08/07/2022 16:56, Stefano Stabellini wrote:
Or we could add a script to detect and print specific output but I don't know if there is something under /proc or /sys that we could simply "cat" from bash to check it.
The domain device-tree should be /proc/device-tree. So you could check the properties from there.
Cheers, -- Julien Grall
