1 files changed, 33 insertions, 0 deletions
diff --git a/gnu-efi/gnu-efi-3.0/inc/make.inf b/gnu-efi/gnu-efi-3.0/inc/make.inf
new file mode 100644
index 0000000..f173196
--- /dev/null
+++ b/gnu-efi/gnu-efi-3.0/inc/make.inf
@@ -0,0 +1,33 @@
+#
+#
+#
+
+[sources]
+    efi.h
+    efiapi.h
+    eficon.h
+    efidebug.h
+    efidef.h
+    efidevp.h
+    efierr.h
+    efifs.h
+    efilib.h
+    efipart.h
+    efipciio.h
+    efiprot.h
+    efipxebc.h
+    efistdarg.h
+    efinet.h
+    efiip.h
+    efiudp.h
+    efitcp.h
+
+[ia32sources]
+    efibind.h
+    pe.h
+    efilibplat.h
+
+[ia64sources]
+    efibind.h
+    pe.h
+    efilibplat.h