From cab43beffc640f61f542f0069f3a4139c94d4a8e Mon Sep 17 00:00:00 2001
From: r00t <bts@square-r00t.net>
Date: Sat, 27 Jun 2015 22:02:07 -0400
Subject: [PATCH] adding ipxe notes

---
 src/ipxe-efi | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/ipxe-efi

diff --git a/src/ipxe-efi b/src/ipxe-efi
new file mode 100644
index 0000000..9f356c5
--- /dev/null
+++ b/src/ipxe-efi
@@ -0,0 +1,14 @@
+http://ipxe.org/download#efi
+
+"
+
+iPXE supports the EFI and UEFI environments, as well as the standard PC BIOS. You can build an EFI driver ROM using the .efirom image format. For example:
+
+  make bin-i386-efi/808610de.efirom     # 32-bit driver ROM
+  make bin-x86_64-efi/808610de.efirom   # 64-bit driver ROM
+
+"
+
+
+
+http://ipxe.org/efi/vision