From 3211b6c54204e85998e2af1f90ce75fa5c6a27e0 Mon Sep 17 00:00:00 2001
From: Atish Patra <atish.patra@wdc.com>
Date: Sat, 26 Jan 2019 23:41:54 -0800
Subject: docs: Typo fixes

Signed-off-by: Atish Patra <atish.patra@wdc.com>
---
 docs/firmware/fw_jump.md    | 4 ++--
 docs/firmware/fw_payload.md | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'docs/firmware')

diff --git a/docs/firmware/fw_jump.md b/docs/firmware/fw_jump.md
index 39d3f74..da21cda 100644
--- a/docs/firmware/fw_jump.md
+++ b/docs/firmware/fw_jump.md
@@ -14,7 +14,7 @@ the booting stage binary to follow OpenSBI firmware.
 
 A platform *FW_JUMP* firmware can be enabled by any of the following methods.
 
-1. Spedifying `FW_JUMP=y` on the top level `make` command line.
+1. Specifying `FW_JUMP=y` on the top level `make` command line.
 2. Specifying `FW_JUMP=y` in the target platform *config.mk* configuration file.
 
 The compiled *FW_JUMP* firmware ELF file is named *fw_jump.elf*. Its expanded
@@ -37,7 +37,7 @@ follows.
 
 * **FW_JUMP_FDT_ADDR** - Address where the *flattened device tree (FDT file)*
   passed by the prior booting stage will be placed in memory before executing
-  the booting stage following OpenSBI firmware. If this option is not provided
+  the booting stage following OpenSBI firmware. If this option is not provided,
   then OpenSBI firmware will pass zero as the FDT address to the following
   booting stage.
 
diff --git a/docs/firmware/fw_payload.md b/docs/firmware/fw_payload.md
index 15edac7..72ea9bb 100644
--- a/docs/firmware/fw_payload.md
+++ b/docs/firmware/fw_payload.md
@@ -72,7 +72,7 @@ file. The parameters currently defined are as   follows.
 * **FW_PAYLOAD_FDT_ADDR** - Address where the FDT passed by the prior booting
   stage or specified by the *FW_PAYLOAD_FDT_PATH* parameter and embedded in
   the *.text* section will be placed before executing the next booting stage,
-  that is, the payload firmware. If this option is not provided then the
+  that is, the payload firmware. If this option is not provided, then the
   firmware will pass zero as the FDT address to the next booting stage.
 
 *FW_PAYLOAD* Example
-- 
cgit v1.2.3