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