From ec971376a8772dc72aa6092095aa12f325681ebd Mon Sep 17 00:00:00 2001
From: Nicklaus McClendon <nicklaus@kulinacs.com>
Date: Sat, 17 Dec 2016 17:00:08 -0500
Subject: [PATCH 1/2] Added unrecognized boot device to UEFI troubleshooting

The instructions were pulled from the mailing list here:
https://groups.google.com/d/msg/qubes-users/KIIM5YvcuSU/3ldBmzwtBwAJ
---
 troubleshooting/uefi-troubleshooting.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/troubleshooting/uefi-troubleshooting.md b/troubleshooting/uefi-troubleshooting.md
index 8c4a0e34..3a10d39f 100644
--- a/troubleshooting/uefi-troubleshooting.md
+++ b/troubleshooting/uefi-troubleshooting.md
@@ -73,3 +73,15 @@ Some Dell systems and probably others have [another bug in UEFI firmware](http:/
 
 * * *
 <b name="f1">1</b> If you use rEFInd, you can see 3 options regarding the USB installer. Choose "Fallback Boot Loader" to enter the GRUB menu. [↩](#a1-1) [↩](#a1-2)
+
+
+Boot device not recognized after installing
+------------------------------------------
+
+Some firmware will not recognize the default Qubes EFI configuration. As such,
+it will have to be manually edited to be bootable (this will need to be done after
+every kernel and Xen update.)
+
+1. Copy /boot/efi/EFI/qubes/ to /boot/efi/EFI/BOOT/
+2. Rename /boot/efi/EFI/BOOT/xen.efi to /boot/efi/EFI/BOOT/BOOTX64.efi
+3. Rename /boot/efi/EFI/BOOT/xen.cfg to /boot/efi/EFI/BOOT/BOOTX64.cfg

From 7e82b2415b79ea3b50db96997253172e5005a3cd Mon Sep 17 00:00:00 2001
From: Andrew David Wong <adw@qubes-os.org>
Date: Sat, 17 Dec 2016 18:31:06 -0800
Subject: [PATCH 2/2] Clean up text formatting

---
 troubleshooting/uefi-troubleshooting.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/troubleshooting/uefi-troubleshooting.md b/troubleshooting/uefi-troubleshooting.md
index 3a10d39f..1e5a80ec 100644
--- a/troubleshooting/uefi-troubleshooting.md
+++ b/troubleshooting/uefi-troubleshooting.md
@@ -82,6 +82,6 @@ Some firmware will not recognize the default Qubes EFI configuration. As such,
 it will have to be manually edited to be bootable (this will need to be done after
 every kernel and Xen update.)
 
-1. Copy /boot/efi/EFI/qubes/ to /boot/efi/EFI/BOOT/
-2. Rename /boot/efi/EFI/BOOT/xen.efi to /boot/efi/EFI/BOOT/BOOTX64.efi
-3. Rename /boot/efi/EFI/BOOT/xen.cfg to /boot/efi/EFI/BOOT/BOOTX64.cfg
+1. Copy `/boot/efi/EFI/qubes/` to `/boot/efi/EFI/BOOT/`.
+2. Rename `/boot/efi/EFI/BOOT/xen.efi` to `/boot/efi/EFI/BOOT/BOOTX64.efi`.
+3. Rename `/boot/efi/EFI/BOOT/xen.cfg` to `/boot/efi/EFI/BOOT/BOOTX64.cfg`.