Hello Eric/Supreeth, With the latest edk2 tag, UEFI SCT tip build is broken. Seems like it needs Guid/SalSystemTable.h header file which is not in edk2 tree any more. Is a fix for this already being looked at? Thanks Ashish ----------------------------------------------------------------------------------- This email message is for the sole use of the intended recipient(s) and may contain confidential information. Any unauthorized review, use, disclosure or distribution is prohibited. If you are not the intended recipient, please contact the sender by reply email and destroy all copies of the original message. -----------------------------------------------------------------------------------