/pkgs/os-specific/linux/device-tree/