mirror of
https://github.com/Fishwaldo/opensbi.git
synced 2025-03-15 19:31:32 +00:00
docs: fix some typos
Corrected the typos of some documents in the 'docs' folder. Signed-off-by: zhangdongdong <zhangdongdong@eswincomputing.com> Reviewed-by: Anup Patel <anup@brainfault.org>
This commit is contained in:
parent
21ba418f1a
commit
8e9966c1a7
5 changed files with 5 additions and 5 deletions
|
@ -29,7 +29,7 @@ and "top:".
|
|||
5. Maintainers should use "Rebase and Merge" when using GitHub to merge pull
|
||||
requests to avoid creating unnecessary merge commits.
|
||||
6. Maintainers should avoid creating branches directly in the main
|
||||
riscv/opensbi repository. Instead prefer using a fork of the riscv/opensbi main
|
||||
riscv/opensbi repository. Instead, prefer using a fork of the riscv/opensbi main
|
||||
repository and branches within that fork to create pull requests.
|
||||
7. A maintainer cannot merge his own pull requests in the riscv/opensbi main
|
||||
repository.
|
||||
|
|
|
@ -31,6 +31,6 @@ directory.
|
|||
*FW_DYNAMIC* Firmware Configuration Options
|
||||
-------------------------------------------
|
||||
|
||||
The *FW_DYNAMIC* firmware does not requires any platform specific configuration
|
||||
The *FW_DYNAMIC* firmware does not require any platform specific configuration
|
||||
parameters because all required information is passed by previous booting stage
|
||||
at runtime via *struct fw_dynamic_info*.
|
||||
|
|
|
@ -7,7 +7,7 @@ Linux.
|
|||
|
||||
The FPGA SoC currently contains the following peripherals:
|
||||
- DDR3 memory controller
|
||||
- SPI controller to conncet to an SDCard
|
||||
- SPI controller to connect to an SDCard
|
||||
- Ethernet controller
|
||||
- JTAG port (see debugging section below)
|
||||
- Bootrom containing zero stage bootloader and device tree.
|
||||
|
|
|
@ -150,7 +150,7 @@ If you want to test OpenSBI with QEMU 'sifive_u' machine, please follow the
|
|||
same instructions above, with the exception of not passing FW_FDT_PATH.
|
||||
|
||||
This is because QEMU generates a device tree blob on the fly based on the
|
||||
command line parameters and it's compatible with the one used in the upstream
|
||||
command line parameters, and it's compatible with the one used in the upstream
|
||||
Linux kernel.
|
||||
|
||||
When U-Boot v2021.07 (or higher) is used as the payload, as the SiFive FU540
|
||||
|
|
|
@ -13,7 +13,7 @@ Platform Options
|
|||
----------------
|
||||
|
||||
The *T-HEAD C9xx* does not have any platform-specific compile options
|
||||
because it use generic platform.
|
||||
because it uses generic platform.
|
||||
|
||||
```
|
||||
CROSS_COMPILE=riscv64-linux-gnu- PLATFORM=generic /usr/bin/make
|
||||
|
|
Loading…
Add table
Reference in a new issue