EFI driver that finds and installs DeviceTree into the UEFI configuration table. - View it on GitHub