Device Tree-based Platform Device Driver Development for Tiano UEFI - View it on GitHub