diff options
| author | Atish Patra <atish.patra@wdc.com> | 2019-01-26 23:41:54 -0800 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2019-01-29 07:17:14 +0530 |
| commit | 3211b6c54204e85998e2af1f90ce75fa5c6a27e0 (patch) | |
| tree | 1dfdb998651c0343a4d7daaa58754b6660c9ace7 /docs/firmware | |
| parent | d70f8aab45d1e449b3b9be26e050b20ed76e12e9 (diff) | |
docs: Typo fixes
Signed-off-by: Atish Patra <atish.patra@wdc.com>
Diffstat (limited to 'docs/firmware')
| -rw-r--r-- | docs/firmware/fw_jump.md | 4 | ||||
| -rw-r--r-- | docs/firmware/fw_payload.md | 2 |
2 files changed, 3 insertions, 3 deletions
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 |