Lessons to get to know UEFI programming in Linux with the help of EDKII - View it on GitHub