summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--HOWTO_install.txt7
-rw-r--r--INSTALL.textile7
2 files changed, 6 insertions, 8 deletions
diff --git a/HOWTO_install.txt b/HOWTO_install.txt
index 18c9871..dae7c96 100644
--- a/HOWTO_install.txt
+++ b/HOWTO_install.txt
@@ -78,8 +78,7 @@ bc. linaro-android-media-create --mmc /dev/sdX --dev vexpress --boot boot.tar.bz
h2. Booting the image
-** After the media create command has finished executing, remove the SD card from your PC and insert it into the Versatile Express board
-** Ensure you have followed the instructions on the Firmware Update tab
-** Reboot the board
-*** When prompsed with “Cmd>" prompt, press the red reboot button
+After the media create tool has finished executing, remove the SD card from your PC and insert it into the Versatile Express board.
+
+Before you can boot the image you will need to install the UEFI boot loader into NOR flash and update the Versatile MMC card configuration files. The instructions on the Firmware Update tab provide information on how to do this and how to configure UEFI to specify the SD card as a boot device.
diff --git a/INSTALL.textile b/INSTALL.textile
index 9b98665..44bdca2 100644
--- a/INSTALL.textile
+++ b/INSTALL.textile
@@ -96,8 +96,7 @@ After copying, safely unmount the SD card.
h2. Booting the image
-** After the media create tool has finished executing, remove the SD card from your PC and insert it into the Versatile Express board
-** Ensure you have followed the instructions on the Firmware Update tab
-** Reboot the board
-*** When prompsed with “Cmd>" prompt, press the red reboot button
+After the media create tool has finished executing, remove the SD card from your PC and insert it into the Versatile Express board.
+
+Before you can boot the image you will need to install the UEFI boot loader into NOR flash and update the Versatile MMC card configuration files. The instructions on the Firmware Update tab provide information on how to do this and how to configure UEFI to specify the SD card as a boot device.