1*7270962aSWarner Losh /* File in public domain */ 2*7270962aSWarner Losh /* Brings in the glue for UEFI/EDK2 Tianocore code to run on this OS */ 3*7270962aSWarner Losh #include "efi-osdep.h" 4