diff --git a/docs/firmware/fw.md b/docs/firmware/fw.md index 5a678487..18faaa9e 100644 --- a/docs/firmware/fw.md +++ b/docs/firmware/fw.md @@ -53,7 +53,7 @@ the booting stage to follow OpenSBI firmware. A *FW_PAYLOAD* firmware is also useful for cases where the booting stage prior to OpenSBI firmware does not pass a *flattened device tree (FDT file)*. In such case, a *FW_PAYLOAD* firmware allows embedding a flattened device tree in the -.text section of the final firmware. +.rodata section of the final firmware. Firmware Configuration and Compilation -------------------------------------- diff --git a/docs/firmware/fw_payload.md b/docs/firmware/fw_payload.md index 3bb918f5..3d50ddcd 100644 --- a/docs/firmware/fw_payload.md +++ b/docs/firmware/fw_payload.md @@ -12,7 +12,7 @@ firmware and the booting stage to follow OpenSBI firmware. A *FW_PAYLOAD* firmware is also useful for cases where the booting stage prior to the OpenSBI firmware does not pass a *flattened device tree (FDT file)*. In such a case, a *FW_PAYLOAD* firmware allows embedding a flattened device tree -in the .text section of the final firmware. +in the .rodata section of the final firmware. Enabling *FW_PAYLOAD* compilation ---------------------------------