Looking at the device tree from the Linux kernel