In this page http://www.coreboot.org/TianoCore , It is said that TianoCore could be a payload of coreboot to implement opensource UEFI environment. Now, I have built UDK(UEFI development Kit) successfully. Then what to do next? how to use these as payload of coreboot?